刚刚开始学习Prolog,我不知道为什么我会收到这个错误。
这是.pl文件中的'code':
bigger(elephant, horse).
bigger(horse, donkey).
bigger(donkey, dog).
bigger(donkey, monkey).
isbigger(X, Y) :- bigger(X, Y).
isbigger(X, Y) :- bigger(X, Z),print(Z),print(’ ’) ,isbigger(Z, Y).
每当我试图检查哪只动物更大时,我都会收到此错误:
1 ?- bigger(donkey, monkey).
ERROR: toplevel: Undefined procedure: bigger/2 (DWIM could not correct goal)
请帮忙吗?
感谢。
答案 0 :(得分:1)
我认为你需要一个断言:
assert(bigger(donkey, monkey)).
我今天刚刚开始,这个人花了一些时间来弄明白。
祝你好运!