male(john).
male(bob).
female(mary).

likes(bob, wine).
likes(mary, wine).

likes(john, X) :- likes(X, wine).
loves(john, X) :- female(X), likes(X, wine).