likes(mary, X) :- reptile(X), !, fail.
likes(mary, X) :- animal(X).