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 e.g:
|==> (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 hit Return, you will get the message OK and return to the top level:
|?X = NIL
|?Y = (1 2)<RETURN>
|
|OK.
|
|==>