1

我正在学习序言并且遇到了select/3谓词问题，所以我为它制作了一个测试文件。

我试图运行的整个代码是它自己的文件中的以下 1 行 XSB：

find(X,B) :- select(X, [1,2,3,4,5], B).

它编译得很好，但我收到以下错误：

| ?- find(5,B).
++Error[XSB/Runtime/P]: [Existence (No procedure usermod : select / 3 exists)] []
Forward Continuation...
... machine:xsb_backtrace/1  From c:/program files (x86)/XSB/syslib/machine.xwam
... x_interp:_$call/1  From c:/program files (x86)/XSB/syslib/x_interp.xwam
... x_interp:call_query/1  From c:/program files (x86)/XSB/syslib/x_interp.xwam
... standard:call/1  From c:/program files (x86)/XSB/syslib/standard.xwam
... standard:catch/3  From c:/program files (x86)/XSB/syslib/standard.xwam
... x_interp:interpreter/0  From c:/program files (x86)/XSB/syslib/x_interp.xwam
... loader:ll_code_call/3  From c:/program files (x86)/XSB/syslib/loader.xwam
... loader:load_object_file/2  From c:/program files (x86)/XSB/syslib/loader.xwam
... standard:call/1  From c:/program files (x86)/XSB/syslib/standard.xwam
... standard:catch/3  From c:/program files (x86)/XSB/syslib/standard.xwam

AFAIK这个错误通常是当用户定义的谓词出现问题但这是一个标准函数并且文档说它自动导入所以为什么我会收到这个错误？

4

1 回答 1

2

select/3谓词是常见的库谓词。看来，尽管使用了 XSB，但您正在阅读另一个 Prolog 系统文档。可能是 SWI-Prolog，它提供了 XSB 中不存在的自动加载机制。但是您可以手动导入谓词。例如：

$ xsb
[xsb_configuration loaded]
[sysinitrc loaded]
[xsbbrat loaded]

XSB Version 3.8.0 (Three-Buck Chuck) of October 28, 2017
[i386-apple-darwin18.7.0 64 bits; mode: optimal; engine: slg-wam; scheduling: local]
[Build date: 2019-12-13]

| ?- import select/3 from lists.

yes
| ?- select(X, [1,2,3,4,5], B).

X = 1
B = [2,3,4,5];

X = 2
B = [1,3,4,5];

X = 3
B = [1,2,4,5];

X = 4
B = [1,2,3,5];

X = 5
B = [1,2,3,4];

no

要将导入添加到源文件，请将其作为指令写入文件开头：

:- import select/3 from lists.
于 2019-12-17T18:57:58.707 回答