IF/Prologは、ゴ−ルを満たそうとします。ゴ−ルは以下のようなものです。
-単純な述語の呼び出し
?- Goal.
-コンマ','（論理積AND）、あるいはセミコロン';'（論理和OR）によって結合 された任意個の述語
?- Goal1 , Goal2 , (Goal3 ; Goal4).
-以下のように変数に上記のような値を与えると
?- X =.. [';', Goal1(arga), Goal2(argb,argc)], X.
'X'を呼び出すと以下が呼び出されます。
?- Goal1(arga) ; Goal2(argb,argc).
以下の規則を与えます。
herbivore(Person) :- eats(Person, fruit). herbivore(Person) :- eats(Person, vegetable). carnivore(Person) :- eats(Person, meat).
Loriが菜食主義者かどうかを調べるために次のゴ−ルが呼び出されます。
?- herbivore('Lori'), not carnivore('Lori').
このゴ−ルを解くためには、','の両側がtrueでなければなりません。 最初に以下のサブゴ−ルのうちのいずれかがtrueでなければなりません。
eats('Lori', fruit) eats('Lori', vegetables)
そして次のサブゴ−ルは必ず失敗します。
eats('Lori', meat)
よってその親ゴ−ル "not carnivore('Lori')"は、真(true)と証明されます。