';'(If-then-else)/2 /MINERVA/Manual/Reference/Predicates/logic_and_control/if_then

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

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

もし、Ifゴール が成功すれば、Thenゴールは実行される。
もし、Ifゴール が失敗すれば、Elseゴールが実行される。
もし、if either Thenゴール あるいはElseゴール どちらかが成功すれば、'->'/2 は成功する。

','/2とは2点の大きな違いがある。:

';'/2 は、右結合性で優先順位クラス1100の組み込み挿入関数である。

'->'/2 は、右結合性で優先順位クラス1050の組み込み挿入関数である。 (関連 current_op/3).

Ifゴール                 ゴール
Thenゴール               ゴール
Elseゴール               ゴール

Day=sunny -> Weather=sunshine; Weather=raining.	成功.
X=b, X=a -> write(a); write(b).	X <- b の代入で、成功。現在出力ストリーム 'b'に出力。

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