“使用谓词parent(X,Y)、male(X)和female(X)，编写一个
定义 sister(X,Y) 的 Prolog 谓词。”
我正在尝试自学如何使用 Prolog 来咯咯笑，我正在使用的类(class)将此作为作业之一，我什至不知道从哪里开始。
最佳答案
假设sister(X,Y)的意思是:X是Y的姐妹(所以只有X必须是女性)。 假设parent(X,Y)意味着:X是Y的父级。
sister(X,Y) :-
female(X),
parent(Z,Y),
parent(Z,X),
X \= Y.
这里有一个很棒的学习 Prolog 的在线资源:http://www.learnprolognow.org/
关于prolog - 如何在 Prolog 中定义姐妹谓词，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/23303086/