likes( joan, ben). likes( mary, robert). likes( robert, joan). jealous_of( X, Z, Y ) :- likes(X, Z), likes(Z, Y). /** ?- jealous_of( X, Y ). -> mary/joan ; robert/ben */