halt/0/1

stops execution and leaves MINERVA.

halt/0
halt(+State)

halt/0/1 stops the execution and leaves MINERVA immediately.
State is an information that can be given to the environment of MINERVA.

Arguments 

State              integer

Examples

halt. Stops execution and leaves MINERVA.
halt(1). Stops execution and leaves MINERVA. Information about the reason of stopping the program is given by '1'.

Standard

These predicates are part of the ISO-Prolog Standard.

See also

abort/0, break/0, call/1, fcall/1, catch/3, ','(conjunction)/2, '!'(cut)/0, ';'(disjunction)/2, fail/0, true/0, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(not provable)/1, once/1, repeat/0, throw/1.

Up read on...