| 手続きプロセスの実行を停止させる。
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.
|
