実行をやめて、MINERVAを終了する。...
移動
次へ 前へ
上へ 最上
参考
abort/0
::(Apply)/2
break
call/1
fcall/1
catch/3
','(Conjunction)/2
!(Cut)/0
';'(Disjunction)/2
<-(Eval)/2
fail/0
halt/0/1
->(If-then)/2
';'(If-then-else)/2
'\+'/1
once/1
repeat/0
throw/1
true/0
イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 論理と制御 > halt/0/1

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.

続く..
MINERVA
ifcomputer logo
f
Expert Services on the Web
言語
English
Japanese
サーバー
USA
Japan
サイトマップ
索引
目次
全体目次
全体索引
印刷向き
imode
PDA
探索
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/halt/home_jp.html
published 2012/5/21 update 2001/2/7 (c) 1996-2009 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
冒頭へ managed with ubiCMS