2 Help and Exiting

2 Help and Exiting

The basic system prompt is:

cilog:

This means that CILOG is waiting for input from the user. All user inputs end with a period (".") and a return (enter).

At any stage you can ask for help by issuing a help command:

cilog: help.

This gives a brief description of the available commands.

To quit CILOG, you can issue the command:

cilog: quit.

CILOG is written in Prolog. To exit CILOG to the underlying Prolog, you can use the command: .

cilog: prolog.

To restart CILOG, you should use the command:

| ?- start.

at the prolog prompt. Note that this does not clear the knowledge base.

To turn on reporting the run time of queries, you can do

cilog: stats runtime.

On some systems, this is the elapsed time since the query was asked or the user asked for more answers, which may be a very inaccurate of run time if there was user interaction. To turn off reporting of run time, you can do:

cilog: stats none.

2 Help and Exiting