|
|
|||||||||
ゴールの実行中に発生したエラーを処理する。
catch(+ゴール, ?キャッチマスク, ?回復ゴール)
catch/3 は、キャッチマスクで単一化可能で、ゴールの実行中に発生したエラーを処理し、ゴール の実行をとめ、回復ゴールを実行する。 エラーは、プログラムか、プロセッサによって発生可能である。(関連 throw/1)
引数
ゴール ゴール キャッチマスク 項 回復ゴール ゴール
例
| X=throw(write('ok')), catch(X,Y,write('error')). | X <- throw(write(ok)), Y <- write(ok) の代入で成功し、write(error) を実行する。 |
| X=write(ok), catch(X,Y,write(error)). | X <- write(ok), Y <- _735 の代入で成功し、write(ok) を実行する。 |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
abort/0, break/0, call/1, fcall/1, ','(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, throw/1.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/catch/print_jp.html published 2008/8/25 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
