likes( joan,   ben).
likes( mary,   robert).
likes( robert, joan).

jealous( X, Z, Y ) :- likes(X, Z), likes(Z, Y).

/** <examples>
?- jealous( X, Y ).
-> mary/joan ; robert/ben
*/