|
|
|||||||||
手続きプロセスの実行を停止させる。
abort/0
abort/0 は、手続きプロセスの実行を停止させ、MINERVAの一番外側の入力ループに返す。現在エラー出力ストリームに、メッセージ'abort' を出力する
もし、abort/0 が、MINERVAの一番外側の入力ループでコールされたら、MINERVAはその入力ループにとどまる。
もし、入力ループが活性化していなければ、abort/0 はエラーメッセージを出して、MINERVAを停止させる。
標準
この述語は、ISO-Prolog 標準には含まれない。
関連
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_jp.html published 2008/9/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
