prologat the top-level prompt. Prolog should respond with the ``|
To load in predicates from file, use
or reconsult([FileName1, FileName2, ...]). If
one of the files contains a predicate that already occurs in the
database, it replaces the old definition. [The similar predicate
consult adds the new clauses after the existing
predicates, rather than replacing them.]
To type in predicates directly, use
prompt will change from ``
| ?-'' to ``|''. Enter
predicates as you would on a file. To quit this mode, enter an
end-of-file (probably ^D).
``Run'' the program by typing in inquiries at the Prolog prompt. You may call any predicate with any arguments, and you may make multiple calls in one inquiry by separating them with commas. Use a period at the end of each inquiry. There is no ``main'' program.
When Prolog does not give you a new prompt after it answers an inquiry, that means there may be other answers. Enter
to tell it to get the next answer, or just
<return>to tell it you have seen enough.
To begin tracing, use
trace; to end tracing, use
notrace. To exit Prolog, use