'if' in prolog?

質問

Prologでifを行う方法はありますか？例えば、変数が0であれば、何らかのアクションを行う（ターミナルにテキストを書き込む）ことができます。elseは必要でさえないが、私はifのドキュメントを見つけることができない。

どのように解決するのですか？

標準的なProlog述語がこれを行います。

   isfive(5). 

は5で呼び出すとtrueと評価され、それ以外で実行するとfail(falseを返す)されます。 等しくない場合は "not equal "を使用します。

isNotEqual(A,B):- A\=B.

厳密にはdoesn't unifyですが、not equalと似たようなものです。

Learn Prolog Nowは、Prologを学習するための良いウェブサイトです。

編集する 別の例を追加するために

isEqual(A,A).