Node:Inserting Clauses, Next:Queries and Directives, Previous:Reading In, Up:Run Intro
Clauses may also be typed in directly at the terminal, although this is
only recommended if the clauses will not be needed permanently, and are few
in number. To enter clauses at the terminal, you must give the special
query:
| ?- [user]. |
and the new prompt | shows that the system is now in a state
where it expects input of clauses or directives. To return to top
level, type ^D. The system responds thus:
% consulted user in module user, 20 msec 200 bytes