我写了一条规则:
parent(georgie,jessy) :-
child(jessy,georgio).
Run Code Online (Sandbox Code Playgroud)
但是,当我想证明
?- parent(georgie,jessy).
Run Code Online (Sandbox Code Playgroud)
我收到一个错误:
parent/2: Undefined procedure: child/2
Run Code Online (Sandbox Code Playgroud)
请帮忙。谢谢。
prolog ×1