Prolog未定义的程序错误?

时间:2012-12-27 16:41:25

标签: prolog

刚刚开始学习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)

请帮忙吗?

感谢。

1 个答案:

答案 0 :(得分:1)

我认为你需要一个断言:

assert(bigger(donkey, monkey)).

我今天刚刚开始,这个人花了一些时间来弄明白。

祝你好运!