Question

“使用谓词parent(X,Y)，male(X)和female(X)，写一个 Prolog谓词定义sister(X,Y)。“

我正在努力教自己如何使用Prolog进行咯咯笑，而我正在使用的课程将其作为任务之一，我甚至不知道从哪里开始。

Answer 1

假设姐妹（X，Y）意味着：X是Y的姐妹（所以只有X必须是女性）。假设父（X，Y）表示：X是Y的父。

sister(X,Y) :-
    female(X),
    parent(Z,Y),
    parent(Z,X),
    X \= Y.

这是学习Prolog的一个很好的在线资源：http://www.learnprolognow.org/