我写了一条规则:
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.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)