Prolog實例化錯誤？

Question

我陷入了一些我在Prolog中不太明白的錯誤。調用規則，當我得到這個錯誤（這似乎有時工作？）：

error(instantiation_error,Var0)

任何人都可以向我解釋這是什麼意思？

，所以我有兩個規則：

special(X) :- user(X, Days), Days >= 20.

special(X) :- premiumuser(X).

user(guy, 40).

雖然用戶被添加動態有時它不是在Prolog的分貝。我可以消除第一個特殊（x）規則，並且錯誤消失。

當召呼：

special(someone).

我得到的錯誤

Answer 1

這意味着你已經應用了仿函數只用原子（例如，<）一個非實例變量的運行方式。在我們可以告訴你之前，你需要發佈最少的代碼來展示問題。