論理と制御

abort/0

手続きプロセスの実行を停止させる。...

::(Apply)/2

オブジェクトにメソッドを適用する。...

break

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

call/1

ゴールを実行する。...

fcall/1

一度だけゴールを実行して、ゴールが失敗する場合、例外を出します。...

catch/3

ゴールの実行中に発生したエラーを処理する。...

','(Conjunction)/2

2つのゴールを実行する。...

!(Cut)/0

ゴールを一度だけ成功させる。...

';'(Disjunction)/2

2つのゴールのうち、一つを実行する。...

<-(Eval)/2

関数の数値を求める...

fail/0

強制的に失敗させる。...

halt/0/1

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

->(If-then)/2

一つのゴールともう一つのゴールを関係付けさせる。...

';'(If-then-else)/2

一つのゴールと、どちらかのゴールを関係づける。...

'\+'/1

もし、ゴールが失敗すれば、成功し、失敗すれば、成功する。...

once/1

一度だけ、ゴールを実行する。...

repeat/0

いつも成功する。...

throw/1

エラーを起こし、そのリープをキャッチできる一番近い地点に戻る。...

true/0

正確に一度だけ成功する。...