prolog存在错误：程序不存在

Question

Existence error in user:nth1/3
! procedure user:nth1/3 does not exist

我已经为列表添加了模块:: - use_module（library（lists））。 但仍然收到此错误..

有人可以帮忙吗？

Answer 1

With SICStus 3, try using nth/3代替nth1/3 - 后者在lists库中不存在。

如果您的代码实际调用了user:nth1( , , )，则需要在nth1/3模块中为用户定义user:（或其他任何以user为前缀的内容）定义的代码，鉴于您所描述的错误，在您的环境中似乎不是这种情况。如果是这种情况，请在没有user:模块前缀的情况下再次尝试。如果谓词是系统谓词并且肯定是加载的，PROLOG系统应该自动找到它。如果它不能，PROLOG将假设它应该在user模块中定义，因此它可能在那里寻找。