三个 Prolog 问题包括祖父母

Question

该程序将使用 SWI Prolog 进行测试。

Family.pl 包含有关家庭成员、谁与谁结婚等信息。

必须在底部添加规则并提交修改后的文件。

1. 写一个motherInLaw(X,Y)谓词，表示X是Y的岳母。

2. 编写一个grandParent(X,Y) 谓词，表示X 是Y 的祖父母。

3. 写一个grandMother(X,Y) 谓词，表示X 是Y 的祖母。

谢谢你们！

这是我自己的答案，请您看看并告诉我它们是否正确？谢谢

motherInLaw(X, Y) : mother(X, Z),couple(Z, Y)

grandParent(X, Y) : parent(X, Z),parent(Z, Y)

grandMother(Z, Y) : mother(X, Z),parent(Z, Y)

Answer 1

你需要在每个子句的末尾写:-而不是:和.

grandmother/2 谓词看起来很奇怪。其实我觉得子句的开头应该是grandMother(X,Y)。