对于XSB prolog，有关错误

Question

不管是什么简单的代码，我都使用Eclipse在Xsb prolog中运行，它显示了如下错误：

++ErrorXSB/Runtime/P:存在(没有过程usermod : demo /1存在)

向前继续..。

... machine:xsb_backtrace/1

... loader:load_pred1/1

... loader:load_pred0/1

... loader:load_pred/1

... x_interp:_$call/1

... x_interp:call_query/1

... standard:call_expose/1

... standard:catch/3

... x_interp:interpreter/0

... loader:ll_code_call/3

... standard:call_expose/1

... standard:catch/3

给我解决办法，如果有人知道的话。

Answer 1

此错误意味着您正在尝试调用demo/1谓词，但系统不知道它。因此，可能没有定义demo/1，或者您在定义源文件之后忘了查阅它。