我可以使用swipl命令的输出并使用swi-prolog将其设置为变量的值吗？
我正在尝试在shell和swi-prolog之间编写一个接口，所...
如何在swi-prolog中创建伪终端？
我正在尝试使用prolog和XPCE创建终端仿真器，但是找...
如何从SWI-Prolog中的库持久性中获取数据？
我有这个模块： <pre><code>:- module(...
使用Prolog将csv文件中的数据解析为给定格式
我的csv文件包含以下数据： <pre><code>...
我以某种方式构建了没有无限整数支持的SWI-Prolog我需要使用需要此支持的谓词
我重新安装了操作系统，从而重新安装了SWI-Prolog。...
是否应该通过引发实例化错误来强制执行模式声明？
我一直在研究某些谓词，它们在某些模式下使用时不会...
为什么''/ 3默默地将关联列表转换成字典？
我在SWI-Prolog中进行了一些类型测试，偶然发现字典...
swi prolog中的无向图
查找内部稳定性的数量 无向图。图的内部稳定性数是图...
后期绑定变量？
我有 logtalk 规则要添加到 prolog 数据库中： <...
计算规则声明的次数 - SWIProlog
我想计算某个规则被声明的次数。 例如“my_rule/3”...
最新的 Prolog 实现基准？
是否有任何最新的 Prolog 实现基准（带有结果）？ 我...
SWI-Prolog 找不到 pce 库
我为此浪费了整整一天，但找不到解决方案。由于 Goo...
为什么 SWI-Prolog 只给出 f/1 就发明了 f/2？
SWI-Prolog 7.6.4： <pre><code>?- dif...
如何使用 call_with_depth_limit/3
我试图在 SWI-Prolog 中使用 <a href="https...