4.37 User Top-level Manipulation
All Application Manual Name SummaryHelp

Availability:built-in
Sourceprolog
This goal starts the default interactive top level. Queries are read from the stream user_input. See also the Prolog flag history. The prolog/0 predicate is terminated (succeeds) by typing the end-of-file character (typically control-D).