2. 自编以下语句程序：
事实：
张磊爱王晴
张磊爱周灵
王晴爱白杨
周灵爱张磊
白杨爱王晴
白杨爱周灵
朱力爱周灵
规则：
情侣 ( 某人甲 , 某人乙 ):- 爱 ( 某人甲 , 某人乙 ), 爱 ( 某人乙 , 某人甲 ).
X和Y是情敌：X 喜欢 Z( 代表某个人 ) ，Z 不喜欢 X ，Z喜欢Y 。
询问：
张磊爱王晴么？
张磊都喜欢哪些人？
谁爱周灵？
找出系统中所有的恋人
找出系统中所有的情敌
情敌这个实在是不会，求大佬帮忙一下

likes(zhanglei,wangqing).
likes(zhanglei,zhouling).
likes(wangqing,baiyang).
likes(zhouling,zhanglei).
likes(baiyang,wangqing).
likes(baiyang,zhouling).
likes(zhuli,zhouling).
dislikes(X,Y):-likes(X,Y),\+likes(Y,X).
friend(X,Y):-likes(X,Y),likes(Y,X).
friend(X,Y):-friend(Y,X).
enemy(X,Y):-dislikes(X,Y), likes(Y,X).

这是我自己编写的代码 总感觉最后一个 需要多加一个未知数

希望来个大佬 指点一下

看过一篇文章，突然发现可以直接表示未知数，原来一直在钻牛角尖，下面是我新打的代码
likes(zhanglei,wangqing).
likes(zhanglei,zhouling).
likes(wangqing,baiyang).
likes(zhouling,zhanglei).
likes(baiyang,wangqing).
likes(baiyang,zhouling).
likes(zhuli,zhouling).
friend(X,Y):-likes(X,Y),likes(Y,X).
friend(X,Y):-friend(Y,X).
enemy(X,Z):-likes(X,Y),\+likes(Y,X),likes(A,Z),A=Y.

本着试一试的心态，没想到这种写法，计算机是可以识别的。

怎么把重复的答案去除啊

题目中“X和Y是情敌：X 喜欢 Z( 代表某个人 ) ，Z 不喜欢 X ，Z喜欢Y 。”。这表示X和Y的条件是不同的。
但这不就意味着，对X来说，Y是情敌；但对Y来说，因为Z不喜欢X，不满足条件，X就不是情敌？情敌的关系就不是相互的了。