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.