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