prolog 相关问题

Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。

如何在 Prolog 中解释读心术结果

我编写了一个读心术算法,与我的 Spec to Algorithm 配合使用,无需太多编码即可将 Specs 转换为 Prolog 算法,这需要冥想并测量 br...

回答 1 投票 0

Prolog回溯时如何“重做”搜索

我想我理解Prolog如何使用统一和回溯来找到第一个匹配。然而,当它被要求“重做&qu...

回答 1 投票 0

Python 与 SWI-Prolog 接口

我想使用Python脚本作为使用SWI-PL引擎的Prolog程序的前端。 因此,该设置的组成部分是: Python(2.7 或更高版本) SWI-PL:网站在这里 我一直在找...

回答 2 投票 0

phrase_from_stream/2 非终止(来自 http_open/3 的流)

我正在使用 Scryer Prolog 构建一个具有 HTTP 客户端组件的应用程序。 流式 DCG 来解析数据会很好,但在使用

回答 1 投票 0

如何提高 Prolog 中 ChatGPT 的准确性?

如何设计一个 ChatGPT 替代方案来识别 Prolog 中算法规范中的模式并将输入映射到输出? 我需要嵌套列表形式的递归模式 [r,"a"] ...

回答 1 投票 0

SWI-Prolog:[致命错误:找不到系统资源]

我正在尝试执行我使用 Prolog 的 Python 脚本。代码如下: 从 pyswip 导入 Prolog 序言 = 序言() prolog.consult("KB.pl") 打印(列表(序言.查询(“...

回答 1 投票 0

二叉树同边缘问题的有效解决方案

二叉树的边缘是由其叶子组成的序列,从 左到右。同边缘问题 [Hewitt & Patterson, 1970] 包括确定两个二叉树是否有...

回答 3 投票 0

比较列表列表

我想做的是给出一个如下所示的列表列表: inialState(e([5, 5, 5], [6, 5, 5])). 我想计算一个列表中所有元素的一些并将其与某个特定的元素进行比较......

回答 1 投票 0

查找列表中的最大值 - Prolog

我刚刚接触 Prolog,正在尝试编写一个谓词来查找整数列表的最大值。我需要写一个从头开始比较的内容,另一个比较 f...

回答 11 投票 0

故障驱动循环

例如,我试图理解图表的故障驱动循环,但我不明白它是如何工作的以及何时使用它。何时使用失败驱动循环以及何时使用正常递归循环...

回答 1 投票 0

*相同边缘*问题的有效解决方案

二叉树的边缘是由其叶子组成的序列,从 左到右。同样的边缘问题 [Hewitt & Patterson, 1970] 包括确定两个二叉树是否有...

回答 1 投票 0

Prolog:一个人是他自己的兄弟姐妹?

我无法理解为什么序言中的代码根据我放置规则的顺序执行某些操作。 这是我的数据库: 父母(汤姆,鲍勃)。 父母(汤姆,莉兹)。 父母(玛丽,鲍勃)。 家长...

回答 2 投票 0

我什么时候可以安全地避免在 Prolog 中存储临时计算?

我创建了一个简单的 Prolog 程序来计算数字的阶乘: 阶乘(1,1)。 阶乘(数字,阶乘):- Number>1,Number1 为 Number-1, 阶乘(数字 1, 阶乘 1),

回答 1 投票 0

Datomic/Datascript/Datalog:如何检查谓词对所有边都有效?

我正在使用一个相当简单的待办事项数据库。它具有分层树状结构。每个实体都是一个块;每个块作为其所有子项的子属性,以及选中的

回答 1 投票 0

为什么 prolog 不显示 false,而是显示与特定常量相关的所有元素?

我在 Prolog 中有一个与家谱相关的程序,我必须在其中找到与某个人相关的所有兄弟姐妹。 我将规则“姐妹”定义为: 妹妹(X,Y):- 父级(Z,X), 父级(Z,...

回答 1 投票 0

Prolog - 谜语的解答

我在互联网上发现了一个谜语,我想使用 Prolog 来解决它。我有一个 Prolog 程序,但结果与我的逻辑方法不符,所以我对 Prolog 中缺少的内容感兴趣

回答 2 投票 0

用于 FOL 证明的 DCG LaTeX 打印机

以下SWI Prolog代码主要是Jens Ottens的leanseq.pl经典FOL证明器: % ------------------------------------------------- -------------------------------- % Leanseq.pl - 一个序列

回答 1 投票 0

如何使用逻辑证明和序言来解决这个问题?

有3个房间贴有以下告示。 房间 1:公主不在这个房间里。房间 2:公主不在这个房间里。房间 3:公主不在房间 2。 只有一个说法是...

回答 1 投票 0

使用列表的 Prolog 谓词

我必须在 Prolog 中进行这个编程练习。 考虑以下谓词: 种族(名称)。 胜利(飞行员姓名、比赛姓名、日期)。 飞行员(姓名)。 定义以下 Prolog 谓词:

回答 1 投票 0

为什么我在 Prolog 中遇到 pi 类型错误?

我正在使用 pi 作为我正在编写的 Prolog 程序的一部分。这是我在整个程序中唯一提到 pi 的地方: 弧距为 ((度/ 360) * 直径 * pi)。 然而,当我运行该程序时,我得到...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.