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

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

+Ifゴール -> +Thenゴール; +Elseゴール
;((Ifゴール-> +Thenゴール), +Elseゴール)

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

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

• Ifゴールは一度だけ成功する。
  
• もし、Ifゴール がサブゴール、カット ('!'/0)を持っていても、このカット は、IfGゴールの外側に影響を与えない。

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

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

引数

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

例

標準

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

関連