The Common Prolog system comes with a built-in read-query-print loop similar to a Prolog interpreter loop. To run it, make sure the common-prolog package is accessible and type: (rqp). You will be presented with the prompt: ==>. At this point you may type in goal expressions, for example:
|==> (append ?x ?y (1 2))
|
|?X = NIL
|?Y = (1 2)
Now Common Prolog is waiting for you to indicate whether or not you wish more solutions. If you press Return, you will get the message OK and return to the top level:
|?X = NIL
|?Y = (1 2)<RETURN>
|
|OK.
|
|==>
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017