一个prolog最简单推理示例
假设现在知道一些年轻人，谁喜欢谁，定义为love(x, y)；
定义了一些这样的关系；
如果x喜欢y，y也喜欢x，则定义他们是一对情侣；
规则表示为：
lovers(X,Y) :- love(X,Y), love(Y,X).
输入一些关系，然后看一下lovers是谁和谁；运行如下，
有时间继续；
假设现在知道一些年轻人，谁喜欢谁，定义为love(x, y)；
定义了一些这样的关系；
如果x喜欢y，y也喜欢x，则定义他们是一对情侣；
规则表示为：
lovers(X,Y) :- love(X,Y), love(Y,X).
输入一些关系，然后看一下lovers是谁和谁；运行如下，
有时间继续；