bpAfter the system is started, it responds with the prompt |?-, and is ready to accept Prolog queries. The command help shows some of the commands that the system accepts:
helpTo quit the system, use the query:
haltor simply enter
^D
(control-D) when the cursor is located at the beginning of an empty line.