?- believes(X, likes(mary, pizza)) = believes(frank, likes(Y, pizza)).
Answer: It succeeds, with bindings:
X = frank, Y = mary
Comment: Because X and Y start with capital letters, they
are variables, so they match the "atoms"
mary on the opposite side of the equals sign.