3

  • Does the following Prolog query succeed? If not, explain why not. If so, what bindings will be reported?

    ?- 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" frank and mary on the opposite side of the equals sign.