halt/0/1

実行をやめて、MINERVAを終了する。

halt/0
halt(+状態)

halt/0/1 は実行をやめて、直ちにMINERVAを終了する。
状態 は、MINERVAの実行環境にあたえられる情報である。

引数 

状態               整数

例

halt. 実行をやめ、MINERVAを終了する。
halt(1). 実行をやめ、MINERVAを終了する。プログラム停止の理由に関する情報は、 '1'によって与えられる。

標準

これらの述語は、ISO-Prolog標準に含まれる。

関連

abort/0, break/0, call/1, fcall/1, catch/3, ','(conjunction)/2, '!'(cut)/0, ';'(disjunction)/2, fail/0, true/0, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(not provable)/1, once/1, repeat/0, throw/1.

戻る 続く..