Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
SICStus Prolog 用户手册说明了其通用限制： 在 32 位（64 位）架构上创建的原子数量不得超过 1048575 (33554431)。 所以当我运行以下命令时...
我很难理解为什么 fib([1,2],F) 找到第二个解决方案 false，具有以下条款和规则： fib([A,B|C],F) :- fib([B|C],S), 纤维（C，T）， F是(S+T)。 fib([A],1). 纤维（[...
我已经查看了无数其他类似的问题，但我还没有找到可行的解决方案，所以我问这个： 我有一个规则： check_prime(X) :- X > 0， X0 为 X - 1， (X =:= ...
首先，我是 Prolog 新手，所以请对我宽容一些...另外，我正在使用 SWI-Prolog， 所以我想对 SWI 使用正确的语法。 在这种情况下，我想定义继父母（特别是继母...
PYSWIP 无法在 pyinstaller 可执行文件中工作
我用 TKINKTER 和 PYSWIP 用 python 和 prolog 完成了一个项目。当使用“pyinstaller -w --onefile main.py”创建可执行文件时，它给我一个错误，因为它没有使用 PYSWIP
我编写了一个读心术算法，与我的 Spec to Algorithm 配合使用，无需太多编码即可将 Specs 转换为 Prolog 算法，这需要冥想并测量 br...
我想我理解Prolog如何使用统一和回溯来找到第一个匹配。然而，当它被要求“重做&qu...
我想使用Python脚本作为使用SWI-PL引擎的Prolog程序的前端。 因此，该设置的组成部分是： Python（2.7 或更高版本） SWI-PL：网站在这里 我一直在找...
phrase_from_stream/2 非终止（来自 http_open/3 的流）
我正在使用 Scryer Prolog 构建一个具有 HTTP 客户端组件的应用程序。 流式 DCG 来解析数据会很好，但在使用
如何设计一个 ChatGPT 替代方案来识别 Prolog 中算法规范中的模式并将输入映射到输出？ 我需要嵌套列表形式的递归模式 [r,"a"] ...
我正在尝试执行我使用 Prolog 的 Python 脚本。代码如下： 从 pyswip 导入 Prolog 序言 = 序言() prolog.consult("KB.pl") 打印（列表（序言.查询（“...
二叉树的边缘是由其叶子组成的序列，从 左到右。同边缘问题 [Hewitt & Patterson, 1970] 包括确定两个二叉树是否有...
我想做的是给出一个如下所示的列表列表： inialState(e([5, 5, 5], [6, 5, 5])). 我想计算一个列表中所有元素的一些并将其与某个特定的元素进行比较......
例如，我试图理解图表的故障驱动循环，但我不明白它是如何工作的以及何时使用它。何时使用失败驱动循环以及何时使用正常递归循环...
二叉树的边缘是由其叶子组成的序列，从 左到右。同样的边缘问题 [Hewitt & Patterson, 1970] 包括确定两个二叉树是否有...
我无法理解为什么序言中的代码根据我放置规则的顺序执行某些操作。 这是我的数据库： 父母（汤姆，鲍勃）。 父母（汤姆，莉兹）。 父母（玛丽，鲍勃）。 家长...
我创建了一个简单的 Prolog 程序来计算数字的阶乘： 阶乘(1,1)。 阶乘（数字，阶乘）：- Number>1,Number1 为 Number-1, 阶乘(数字 1, 阶乘 1),
Datomic/Datascript/Datalog：如何检查谓词对所有边都有效？
我正在使用一个相当简单的待办事项数据库。它具有分层树状结构。每个实体都是一个块；每个块作为其所有子项的子属性，以及选中的