Exiting consult mode

True, but is it more typing :frowning: 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.