prolog - XSB Prolog - 如何查阅 .p 文件？

Question

嘿伙计们，这应该很容易回答......

我正在使用 XSB Prolog...试图加载 .p prolog 数据库

我在目录 C:\XSB 中有一个文件 xxx.P

所以在 XSB 我输入

?consult('xxx.p').

我得到:

cannot find the file or module xxx.p

我试过将 p 文件移动到与 XSB 可执行文件相同的目录，但没有成功。有任何想法吗？

编辑:
xxx.p 的内容:

has_access(tom,123).
has_access(bob,456).

谢谢

Answer 1

XSB 使用文件扩展名来确定文件类型，它只将 .P(大写 P)和 .pl 识别为 Prolog 文件。使用 .P 或 .pl 扩展名命名您的文件，并以这种方式查阅。

| ?- consult('test.p').

no
| ?- consult('test.P').
[Compiling .\test]
[test compiled, cpu time used: 0.0200 seconds]
[test loaded]

yes