如何在Prolog中定义谓词

在Prolog中定义谓词需要使用规则和事实。规则定义了谓词如何被推导出来，而事实则是直接给出了谓词的定义。下面是一个简单的例子，定义了一个谓词is_parent，表示一个人是另一个人的父母：

parent(john, mary).
parent(john, tom).
parent(sue, mary).

is_parent(X, Y) :- parent(X, Y).

在这个例子中，parent是一个事实，表示john是mary和tom的父亲，sue是mary的母亲。is_parent是一个规则，定义了当一个人是另一个人的父母时，可以被认为是父母关系。

要在Prolog中使用这个谓词，可以查询is_parent来检查两个人之间是否存在父母关系：

?- is_parent(john, mary).
true.

?- is_parent(sue, tom).
false.