|
|
|||||||||
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.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/halt/print_en.html published 2008/9/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
