isMan(mroc).
isMan(king).
isWoman(verena).
isWoman(alenka).
isFriend(mroc,king).
isFriend(mroc,verena).
isFriend(king,alenka).
isFriend(verena,alenka).

inLove(X,Y):-isMan(X),isWoman(Y),isFriend(X,Y).

?-isMan(X).
?-isWoman(X).
?-isFriend(X,Y).

?-inLove(X,Y).

?-inLove(mroc,Y).