Prolog未定义的程序错误？

Question

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

请帮忙吗？

感谢。

Answer 1

我认为你需要一个断言：

assert(bigger(donkey, monkey)).

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

祝你好运！