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