问题标签 [xsb]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - 错误：没有过程 usermod：选择 / 3 存在
我正在学习序言并且遇到了select/3谓词问题，所以我为它制作了一个测试文件。
我试图运行的整个代码是它自己的文件中的以下 1 行 XSB：
它编译得很好，但我收到以下错误：
AFAIK这个错误通常是当用户定义的谓词出现问题但这是一个标准函数并且文档说它自动导入所以为什么我会收到这个错误？
java - 如何读取文件 xsb XML Schema Binary File
如何读取文件 xsb XML Schema Binary File。我提取文件 xmlbeans-3.0.1.jar 并在其中看到许多二进制文件 *.xsb。 https://jar-download.com/artifacts/org.apache.xmlbeans/xmlbeans/3.0.1 我很好奇文件 *.xsb 中有哪些数据？以及如何使用 java 代码读取文件 xsb XML Schema Binary File？
c++ - QT + XSB prolog：“0x0 处的读取访问冲突”
我想在 QT 应用程序中使用 XSB prolog。我写：
但它会因错误消息“0x0 处的读取访问冲突......”而崩溃。有什么问题以及如何解决？
]
prolog - HiLog 是否添加了 Prolog 中“调用”无法完成的任何操作？
Prolog 中的高阶编程风格在 HiLog 和 λProlog 中首创。
HiLog的动机包括它实现高阶谓词的能力，例如maplist：
描述 HiLog 的论文假设 Prolog 只有call/1，没有call/3。
但是，由于 Prolog（现在）有call/3,maplist可以很容易地在其中实现：
HiLog 是否主要具有历史意义，还是它的“高阶”逻辑比现在 Prolog 中可用的逻辑更普遍？
prolog - XSB 未读取所有规则
我正在尝试在 XSB 中加载一些规则以进行查询。我的规则文件由翻译后从本体中提取的一些事实和下面提到的一些推理组成。问题是 xsb 读取了事实，但没有使用应该进行推理的给定规则。
如果我查询disjoint('iri#f','iri#d') xsb 返回“no/false”，如果我disjoint('iri#d','iri#f') xsb 返回 true。我不明白为什么不相交不是双向阅读。
我在 xsb 中提供文件，如下所示：