次のデータベースがあります。
vegetarian(jose).
vegetarian(james).
vegetable(carrot).
vegetable(egg_plant).
likes(jose,X):-vegetable(X).
loves(Who,egg_plant):-vegetarian(Who).
クエリvegetarian(_).を実行すると、取得することを期待していましたが_ = jose; _ = james.、代わりに取得していますtrue; true.
代わりに を実行するvegetarian(X).と、期待どおりの答えが得られますX = jose; X = james.
なぜこの違いがあるのでしょうか?