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

Answer 2

尝试使用文件的完全限定名称，如下所示：

 ?consult('C:\\XSB\\xxx.p').

如果我没记错，你必须逃避反斜杠。