|
|
|||||||||
実行をやめて、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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/halt/print_jp.html published 2008/10/13 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
