3.7 Program Execution And Interruption

Execution of a program is started by giving the system a query that contains a call to one of the program’s predicates.

Only when execution of one query is complete does the system become ready for another query. However, one may interrupt the normal execution of a query by typing ^C. This ^C interruption has the effect of suspending the execution, and the following message is displayed:

Prolog interruption (h or ? for help) ?

At this point, the development system accepts one-letter commands corresponding to certain actions. To execute an action simply type the corresponding character (lower or upper case) followed by RET. The available commands in development systems are:

a

aborts the current computation.

c

continues the execution.

e

exits from SICStus Prolog, closing all files.

h

?

lists available commands.

b

invokes a recursive top level.

d

z

t

switch on the debugger. See Debug Intro.

If the standard input stream is not connected to the terminal, e.g. by redirecting standard input to a file or a pipe, then the above ^C interrupt options are not available. Instead, typing ^C causes SICStus Prolog to exit, and no terminal prompts are printed.