[解決済み] Prologの未定義手続きエラー

質問

ルールを書きました。

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

を証明したいのですが

?- parent(georgie,jessy).

エラーが発生する

parent/2: Undefined procedure: child/2

よろしくお願いします。ありがとうございます。

解決方法は？

を定義します。 child の関係にある。

child(jessy, georgie).

を定義します。 parent とは反対の関係にあります。 child の関係になります。

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

そしてテストしてください。

?- parent(georgie, jessy).
true.