在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.
免责声明：本站发布的内容（图片、视频和文字）以原创、转载和分享为主，文章观点不代表本网站立场，如果涉及侵权请联系站长邮箱：is@yisu.com进行举报，并提供相关证据，一经查实，将立刻删除涉嫌侵权内容。
