|
|
|||||||||
raises an error and returns to the closest point which can catch that leap.
throw(+Term)
throw/1 stops execution of the current executed procedure and
returns to the closest point which can catch that leap. Such a catch-point
can be created with 'catch(Goal, CatchMask, RecoverGoal)'. If
CatchMask is unifiable with Term then the result of catch/3
is the result of RecoverGoal.
If no catch-point can be found throw/1 quits MINERVA.
Arguments
Term term
Examples
| catch(throw(true),X,write('return to catch-point')). | Succeeds with substitution X <- true and
writes 'return to catch-point' to the current outputstream. |
Standard
This predicate is 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, halt/0/1, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(not provable)/1, once/1, repeat/0.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/throw/print_en.html published 2008/8/25 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
