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.