Consult mode is used to enter facts and predicates at the top level.
?- [user].
|: likes(mary, john).
|: end_of_file.
Many times you will see ^D (Ctrl-D) use to exit consult mode, however end_of_file. will also work and be less confusing.
Consult mode is used to enter facts and predicates at the top level.
?- [user].
|: likes(mary, john).
|: end_of_file.
Many times you will see ^D (Ctrl-D) use to exit consult mode, however end_of_file. will also work and be less confusing.
True, but is it more typing  IMHO, consulting
   IMHO, consulting user is hardly ever a good idea.   If you just want to add a single simple clause, use assertz/1.  Else create a file and load it.  That is much easier to handle, in particular if you find you made a mistake and want to correct the code.
I agree.
Lately I am seeing more responses, here and on other sites, that are using the consult mode to enter data and then using ^D to exit consult mode. For those new to coding and entering code, the ^D has them  very confused. 