Facts VIEW，像 SQL VIEW？
我有以不同格式存储的事实，例如： <pre><...
Prolog 99 瓶啤酒
以下代码和查询不起作用： <pre><code>...
SWI 序言：是否可以撤消回溯？
是否可以在 SWI Prolog 中定义一个类似于 Sicstus P...
如何劫持 swi CLI 并对其进行自定义？
我想重用 swi CLI 界面 .. 而不是 <pre><c...
使用 maplist 将字符串列表更改为原子？
如何使用 maplist 将字符串更改为原子。 这不起作用...
如何从 Python Swipl Prolog 实现中的查询结果中删除 Atom 和 Functor 关键字？
我正在使用 pyswip 从 Python 3 运行我的 Prolog 查...
SWI-Prolog 中正确的 unify_with_occurs_check/2 ？
有这种奇怪的行为。我正在运行这些测试用例： <p...
正则表达式检查列表
为什么 <code>isempty()</code> 不返回...
在外部存储中存储和查询异构事实|规则？
在数据库或其他存储中存储和查询异构事实和规则的最...
SWI-Prolog 中的正确 subsumes_term/2 ？
让我们假设 SICStus Prolog 是 某些谓词的实现，甚至...
序言：随机排列
我正在尝试使用 prolog 进行随机排列。但问题是 <...
使用 Prolog 库 Simplex 求解线性方程组
我正在尝试使用 SWI-Prolog <a href="https:...
SWI Prolog 使用什么发生检查优化？
引用<a href="https://sicstus.sics.se/sics...
你如何使用CHR模块
你如何使用 CHR（约束处理规则）......我没有看到一...