3.3 Inserting Clauses at the Terminal

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 load the code from the special file user:

| ?- [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 if in a terminal, or end_of_file. followed by RET. The system responds thus:

% compiled user in module user, 20 msec 200 bytes