Prolog中的错误未定义过程

Question

我写了一条规则：

parent(georgie,jessy) :-
   child(jessy,georgio).

但是，当我想证明

时

?- parent(georgie,jessy).

我收到错误：

parent/2: Undefined procedure: child/2

请帮忙。感谢。

Answer 1

定义child关系：

child(jessy, georgie).

将parent关系定义为与child关系相反：

parent(X, Y) :- child(Y, X).

并测试它。

?- parent(georgie, jessy).
true.