The shell
class provides an interactive shell that prompts for terms and then executes them.
:- import(shell). main(_) { shell::main("| ?- "); }
exit
or quit
, then the process repeats after execution of the term. The help
command can be used to request interactive help.