The normal way to start the
likes.pl file mentioned in
section 188.8.131.52 is
by simply double-clicking this file in the Windows explorer.
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 convenient 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.
After loading a program, one can ask Prolog queries about the program. The query below asks Prolog what foo