|
|
|||||||||
stops execution of the procedural process.
abort/0
abort/0 stops execution of the procedural process
and returns to the outest input-loop of MINERVA. It also puts the message 'abort' to the current error-outputstream.
If abort/0 is called in the outest input-loop then MINERVA stays in that input-loop.
If no input-loop is activated then abort/0 stops MINERVA with an error-message.
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
break/0, call/1, fcall/1, catch/3, ','(conjunction)/2, '!'(cut)/0, ';'(disjunction)/2, fail/0, halt/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/abort/print_de.html published 2008/9/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
