sitelogo
break

新しい入力ループを作る。

break/0

break/0 は、新しい入力ループを作る。 この方法で、入力ループの様々なレベルを得ることが可能である。
プロセスを止めたり、MINERVA と対話し、そのプロセスでそのまま続けることも可能である。

入力ループは、end_of_fileで止まる。
abort/0 は、一番外側の入力ループに戻る。

break.
end_of_file.
成功.

標準

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

関連

abort/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.


戻る 続く..
冒頭へ managed with ubiCMS