Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我正在尝试执行我使用 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：如何检查谓词对所有边都有效？
我正在使用一个相当简单的待办事项数据库。它具有分层树状结构。每个实体都是一个块；每个块作为其所有子项的子属性，以及选中的
为什么 prolog 不显示 false，而是显示与特定常量相关的所有元素？
我在 Prolog 中有一个与家谱相关的程序，我必须在其中找到与某个人相关的所有兄弟姐妹。 我将规则“姐妹”定义为： 妹妹（X，Y）：- 父级（Z，X）， 父级（Z，...
我在互联网上发现了一个谜语，我想使用 Prolog 来解决它。我有一个 Prolog 程序，但结果与我的逻辑方法不符，所以我对 Prolog 中缺少的内容感兴趣
以下SWI Prolog代码主要是Jens Ottens的leanseq.pl经典FOL证明器： % ------------------------------------------------- -------------------------------- % Leanseq.pl - 一个序列
有3个房间贴有以下告示。 房间 1：公主不在这个房间里。房间 2：公主不在这个房间里。房间 3：公主不在房间 2。 只有一个说法是...
我必须在 Prolog 中进行这个编程练习。 考虑以下谓词： 种族（名称）。 胜利（飞行员姓名、比赛姓名、日期）。 飞行员（姓名）。 定义以下 Prolog 谓词：
我正在使用 pi 作为我正在编写的 Prolog 程序的一部分。这是我在整个程序中唯一提到 pi 的地方： 弧距为 ((度/ 360) * 直径 * pi)。 然而，当我运行该程序时，我得到...
我正在 SWI Prolog 中编写一个小型解释器，并遇到以下问题：我需要编写一个谓词来确定逻辑表达式是否为真。我已经有一个谓词
使用 pyswip 查询 Prolog 文件时 SWI-Prolog 断言失败
我正在开发一个项目，使用 pyswip 将 SWI-Prolog 与 Python 集成。作为 Prolog 编程的新手，我在尝试查阅 Prolog 文件时遇到了断言失败......
% 计算阶乘的函数 阶乘(0, 1)。 阶乘（N，F）：- N1 为 N-1， 阶乘(N1, F1), F 是 N * F1。 % 计算函数近似值的函数...
有没有办法通过部分匹配来撤回所有子句..假设我有以下语法： s3-->[a，b，r，a]。 s4-->[a，b]。 s5-->s4，s4。 如何删除所有以 's' 开头的子句...