编写·一个PROLOG程序，描述了7组喜欢关系的基本事实，定义恋爱关系的规则以及情敌关系的规则，可通过以上的逻辑关系判断两人之间是否喜欢

好的，我来为您编写一个符合要求的 PROLOG 程序：

% 定义喜欢关系的基本事实
likes(john, mary).
likes(peter, mary).
likes(bob, alice).
likes(alice, bob).
likes(alice, john).
likes(jane, peter).
likes(mary, john).

% 定义恋爱关系的规则
love(X, Y) :- likes(X, Y), likes(Y, X).

% 定义情敌关系的规则
rival(X, Y) :- love(X, Z), love(Y, Z), X \= Y.

% 查询两人是否喜欢
?- likes(john, mary). % 若为 true，则表示 john 喜欢 mary
?- love(john, mary). % 若为 true，则表示 john 爱上了 mary
?- rival(john, peter). % 若为 true，则表示 john 和 peter 是情敌

这个程序描述了7组喜欢关系的基本事实，定义了恋爱关系的规则和情敌关系的规则。当我们查询两人之间是否喜欢时，可以通过 `likes`、`love`、`rival` 三个规则进行判断。其中，`likes` 表示是否喜欢，`love` 表示是否爱上，`rival` 表示是否是情敌。