KnowledgeWorks and Prolog User Guide
>
A Common Prolog
>
A.4 Using The Logic Interpreter
A.4.4
Exiting the Interpreter
The Common Prolog interpreter may be exited by typing:
|==> (halt)
KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009