SWI 序言到 Python
有模块可以从 Python (pyswip) =to=> Prolog 调用...
如何在swi-prolog桌面中为代码文件.pl设置utf-8
我正在尝试开发有关使用 swi-prolog 的常见问题解答...
如何在 Prolog 中执行 QSAT 计数
有趣的是，一些 CLP(B) 库使用 (^)/2 运算符作为存在...
Paterson-Wegman 与 Wielemaker-Demoen 统一
SWI-Prolog 的源代码说，部署的统一是基于 Bart Dem...
Wielemaker-Demoen 统一的非线性
这是对关于非循环项的问题 <a href="https:/...
将 Prolog 与 C# (Unity) 结合使用
我想知道是否有一种“简单”的方法可以从 C# 代码（...
如何查看SWI-Prolog的变量分析
是否有一些实用程序可以在咨询期间断言之前检查子句...
如何找出 Prolog 运算符来自哪个模块？
这可能是 SWI-Prolog 特有的。 如何向系统询问谓词来...
SWI-Prolog 中的跨模块“接口”调用
这可能特定于 SWI Prolog 模块系统。 假设我们有三个...
JSON 的 SWI-Prolog 语法
<pre><code>json([ name=&#39;Demo...
Prolog Game Search for Tic-Tac-Toe 中的表格
许多 Prolog 系统同时实现了制表。 SWI-Prolog 采用...
序言中的持续时间比较
我用一些 xsd:duration 数据类型制作了一个 OWL 本体...
使用 Java 和 JPL 从 SWI-Prolog 检索 ERROR 消息
当我使用 JPL（来自 JavaSE 1.8）时，Prolog（SWI-P...
Prolog 元解释器和单边统一
我试过这个原版解释器： <pre><code>so...