| 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.
|
