| 新しい入力ループを作る。
break/0
break/0 は、新しい入力ループを作る。
この方法で、入力ループの様々なレベルを得ることが可能である。
プロセスを止めたり、MINERVA と対話し、そのプロセスでそのまま続けることも可能である。
入力ループは、end_of_fileで止まる。
abort/0 は、一番外側の入力ループに戻る。
例
標準
この述語は、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.
|