Prolog谓词

Question

您好，我是 Prolog 的新手，有基本问题。我想知道为什么这些 Prolog 谓词 daughter_of/2 和 son_of/2 不能像我希望的那样工作。例如，如果我问

16 ?- daughter_of(alice, X).
true.

（为什么是真的？我需要什么谓词才能得到 Victoria 和 Albert？）

谢谢。

male(albert).
male(edward).

female(alice).
female(victoria).

parents(edward, victoria, albert).
parents(alice, victoria, albert).

sister_of(X,Y):-
    female(X),
    parents(X,M,F),
    parents(Y,M,F).

brother_of(X,Y):-
    male(X),
    parents(X,M,F),
    parents(Y,M,F).

daughter_of(X,Y):-
    female(X),
    parents(X,M,F).

son_of(X,_Y):-
    male(X),
    parents(X,M,F).

Answer 1

问题是你的doutter_of谓词的定义。

daughter_of(X,Y):-
female(X),
parents(X,M,F).

应该是

daughter_of(X,Y):-
female(X),
parents(X,Y,_).

daughter_of(X,Y):-
female(X),
parents(X,_,Y).

这样 Y 参数就被传递给了父谓词。否则它不会被使用（甚至在加载文件时给我一个警告）。那么 prolog 只能告诉你 X 是女性并且 X 有父母，但实际的父母会被丢弃，因为 M 和 F 不是你的谓词的输出参数。

请注意，我已经定义了 daughter_of 谓词两次，以便与父亲和母亲一起使用。

同样适用于son_of。