At the icl prompt, you can execute several commands. To get an overview of the available commands in your version, use the help command. Use help/1 to get some help on a command.
A list of commands:
Copyright 1998, Katholieke Universiteit Leuven, dept. Computerwetenschappen Information provider: KULeuven dept. Computerwetenschappen Comments for the authors: Wim Van Laer Page design: Wim Van Laer URL: http://www.cs.kuleuven.ac.be/commands.html |