like(mercury, kathy).        % mercury 喜欢 kathy。
like(kathy, mercury).        % kathy 喜欢 mercury。

lover(X, Y) :- like(X, Y), like(Y, X).        % 如果X喜欢Y，且Y也喜欢X，则X与Y是恋人。


询问mercury和谁是恋人：lover(mercury, Who).
电脑告诉我 Who = kathy，

这就是Prolog！