|Did you know ...||Search Documentation:|
|Title for pldoc(object(section(3,'2.1.2',swi('/doc/Manual/quickstart.html'))))|
Although we strongly advice to put your program in a file, optionally
edit it and use make/0
to reload it (see section
2.1.4), it is possible to manage facts and rules from the terminal.
The most conveniant way to add a few clauses is by consulting the pseudo
user. The input is ended using the system end-of-file
?- [user]. |: hello :- format('Hello world~n'). |: ^D true. ?- hello. Hello world true.