Search code examples
prologprolog-anonymous-variable

Comparing prolog anonymous variables

I have a series of facts in prolog that contain the anonymous variable _.

fact(a, _).
fact(b, _).
fact(c, _).

and i have some rules that take in lists of these facts:

f([H | T]) :- H == fact(a, _),
              % stuff %
              .

however this is not working. The rule is not going past the first clause H == fact(a, _). What am I doing wrong? Is there a different operator for equality?

Solution

  • Yes, you should probably use =/2:

    1 ?- H == fact(a,_).
false.

2 ?- H = fact(a,_).
H = fact(a, _G0).

    the difference is that ==/1 checks if the two terms are equal and non-instantiated variables (that have a different name) are treated as different. On the other hand, =/2 unifies the two terms, instantiating as required.

    If you use an instantiation pattern in the head (f([fact(a,_)|T]):- stuff.) it has the same behaviour with =/2