prolog 相关问题

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

Prolog 中带有“true”值的提前停止谓词

我正在 Prolog 中使用 http_sessions 编写一个 http_server 应用程序。请求使用不连续(多个定义)谓词应用程序进行处理,该应用程序不得失败(否则会出现 500 错误...

回答 2 投票 0

如何在Prolog中拆分列表?

我想编写一个谓词 split(List, Pivot, Result),当 Result 是 List 除以 Pivot 的子列表列表时成立。例如 split(['_', '_', '#', '_', '#', '_'], '#', [['_','_'], ['_'] , ...

回答 3 投票 0

为什么 prolog 允许在其数据库中存在重复的事实和规则?

为什么 prolog 允许在其数据库中存在重复的事实和规则? 使向数据库添加事实幂等并不困难。对于规则来说,建立逻辑并不简单

回答 1 投票 0

如何在Java中使用Prolog?

在 Java/Eclipse 应用程序的上下文中,我想使用 Prolog 来完成特定任务。有哪些可用的解决方案和工具可以实现这一点,以及相关的优缺点? 我可以启动一个

回答 6 投票 0

需要帮助修复我的项目界面中的序言代码

我正在构建一个界面,其目的是诊断某人并提供一种治疗形式,包括治疗方法、费用和持续时间。我首先提供一个列表...

回答 1 投票 0

从 Prolog 中的列表中删除连续的重复项

我有如下列表: [a、b、b、e、e、f、f、g] 第一个和最后一个条目是单个条目,而所有其他条目都是重复的。我怎样才能删除这些额外的条目。我不应该扰乱秩序。 我试过了

回答 4 投票 0

通过Mac终端运行SWI Prolog

我正在尝试从终端运行序言。我已经安装了版本 7.2.2 并使用以下命令将其添加到我的环境路径中: PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS 然后去...

回答 3 投票 0

自反传递闭包的定义

许多谓词本质上使用某种形式的传递闭包,只是为了发现终止也必须得到解决。为什么不使用closure0/3一劳永逸地解决这个问题: :- 元谓词(cl...

回答 1 投票 0

我需要帮助来查找此序言代码中的错误

我正在构建一个界面,其目的是诊断某人并提供一种治疗形式,包括治疗方法、费用和持续时间。我首先提供一个列表...

回答 1 投票 0

prolog 中的剪切位置如何影响输出?

我对剪切的位置很困惑。不确定它们如何影响输出。下列位置中的每个切口有什么区别? 子集([],_):-![1]。 子集([H|T], ...

回答 1 投票 0

Prolog 中的姐妹谓词重复

我需要一个谓词来找到妹妹 ister(X, Y) - “如果 X 是 Y 的姐妹,如果他们有共同的父母 W,X 是女性,并且 X 不是 Y”。 问题是每个“孩子”都有两个父母...

回答 1 投票 0

矩阵上的元素/3查找索引返回范围

我有一个矩阵板,其开头为: []( [](1,2,3,4,5,6), [](_,1,_,_,5,_), [](_,5,1,_,_,6), ) 该程序的目标是以数独风格解决它,其中 _ 是未知数。 第一个...

回答 1 投票 0

Prolog 无法使用“=”执行算术,但使用“is”会引发实例化错误

`我正在尝试解决序言中的逻辑难题,我一切正常,除了当我运行程序时,它不会将数字加在一起,而是在中间用+打印它们,我尝试更改= t。 ..

回答 1 投票 0

使用SWI-Prolog的qsave_program生成二进制文件有什么好处?

我一直在研究 Prolog 的 qsave_program 功能。我正在市场上寻找可以加速我的 Prolog 代码或可能允许与 C/C++ 集成的东西。 我用的是

回答 1 投票 0

为什么 Prolog 的否定失败不被视为逻辑否定?

在许多 Prolog 指南中,以下代码用于说明 Prolog 中的“失败求反”。 not(Goal) :- call(Goal), !, 失败。 不是(目标)。 然而,那些相同的教程和文本警告...

回答 3 投票 0

如何在Prolog中实现CFG?

我正在尝试在序言中为此语法实现一个解析器: 线路 → 线路 ;线路 |线 行 → 行数,行 |数量 数字 → 数字 |数量 数字 → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 代码是: 解析...

回答 1 投票 0

如何在Prolog中实现锁门游戏?

我正在研究序言中的搜索问题,其中代理的目标是找到一些宝藏。在每个时间步骤,代理可以使用根据无向梯度排列的门在房间之间移动...

回答 1 投票 0

在 prolog 中检查对象是否是二叉树

prolog 有一个任务听起来像这样: 编写一个 istree 谓词,仅当其参数是二叉树时才返回 true。 例子: ?- istree(t(a,t(b,nil,nil),nil))。 返回是 ?- istree...

回答 1 投票 0

在Prolog中制作连续数字的嵌套列表

任何人都可以检查这是否是一个完整的BS代码。显然它不起作用,因为我的答案是错误的,但我只是想知道这是在正确的轨道上还是完全不......

回答 1 投票 0

先行词中的条件顺序导致堆栈溢出

作为一个简单的练习,我编写了自己的排列。 该堆栈溢出: 没有(_, [], [])。 没有(A,[A|T],T)。 没有(A,[H | T],[H | G]):-没有(A,T,G)。 my_permutation([], []). 我的_排列...

回答 1 投票 0

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