?-prompt, separated by commas, and terminated with a full stop (
.). For example,
?- lectures(john, Subject), studies(Student, Subject).
If the query fails, Prolog types "
false.". If it succeeds,
Prolog either types the list of variable
bindings it had to assume in order to make
the query succeed, or, if no variable bindings were necessary, it
If several variable bindings allow the query to succeed, then
normally (i.e. in the absence of cuts) all the
bindings will be typed out, one after the other, with the Prolog
user typing a
; to let the Prolog system know that they
are ready to see the next set of bindings.