prolog 相关问题

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

在 SWI-Prolog 中记录交互式查询

我想拦截传递给交互式Prolog解释器的查询，以便进行一些额外的处理，例如记录查询。到目前为止，我有以下依赖于

logging prolog hook interpreter swi-prolog

回答 1 投票 0

八个谜题的序言

%999 代表空白图块。目标([999,0,1,2,3,4,5,6,7])。 %任意行向左移动有两种情况： %Case_1：第二个索引中存在空白图块。 %Case_2：第三个索引中存在空白图块。 % 向左移动...

prolog sliding-tile-puzzle

回答 3 投票 0

SWI PL CS 库重定向输入流

我一直在尝试运行下面的示例，Sread 函数似乎在无限循环中执行。我正在使用 Visual Studio 2022、Prolog 7.4.2 x64 和 SwiPlCs 1.1.60605.0 库。 http://...

.net prolog computer-science

回答 1 投票 0

有没有办法将递归 Prolog 代码块转换为 DFS 实现来解决传教士和食人族问题？

我...也许正在尝试学习如何使用Prolog。目前我正在尝试解决传教士和食人者问题 - 你需要将 3 个传教士和 3 个食人者移过河并......

prolog river-crossing-puzzle

回答 1 投票 0

maplist 引发未捕获的异常：error(existence_error(procedure,maplist/2),top_level/0)

prolog gnu-prolog

回答 1 投票 0

Prolog 循环中的数学表达式 DCG

我正在尝试在 Prolog 中实现数学表达式的 DCG，因为我想做用该语言实现计算器的基本练习，这是我的代码：莱克斯（添加，'+'）。 lex(子, '-'...

prolog context-free-grammar swi-prolog dcg

回答 1 投票 0

为什么 Prolog 在一种情况下会自动回溯，但在另一种情况下不会？

我有一个 Prolog 程序，有两个谓词 rr 和 p，每个谓词都有自己的一组规则和事实。当使用特定输入查询这些谓词时，我注意到 Prolog 会自动回溯...

prolog logic backtracking swi-prolog

回答 1 投票 0

有没有prolog clpb编码可以解决这个涉及骑士、无赖和间谍的难题？

有三个人（Alex、Brook 和 Cody），其中一个是骑士，一名恶棍，一名间谍。骑士总是告诉事实是，无赖总是撒谎，而间谍要么撒谎，要么说谎 t...

prolog clpb

回答 1 投票 0

如何在 prolog 中定义运算符来创建列表？

我想以某种方式定义一个运算符“++>”，以便输入“a ++> b”将生成一个[a,b]列表。我已经编写了以下代码，但它似乎没有完成这项工作。 ++>(X,Y) :- [X，Y]。 :- 哦...

list operators prolog

回答 4 投票 0

ECLiPSe 使用 C++ 接口创建 2D 矩阵

我有一个谓词，用于在 Eclipse 中初始化 2D 矩阵：问题(1, []( [](1,2,3,4), [](1,2,4,3), [](1,3,2,4), ））。我想使用 C++ 程序来交互...

c++ prolog eclipse-clp

回答 1 投票 0

如何在 Prolog 中将列表转换为循环列表？

我有一个列表[5,4,8,9,7,6]，我需要将每个数字与下一个数字进行比较，并将第一个数字和最后一个数字相互比较。想象一下这个列表是围绕着一张圆桌的。有什么帮助吗...

list prolog circular-list

回答 4 投票 0

Prolog：将包含连续数字段的列表压缩为包含段范围[开始，结束]的列表

我是序言新手，我正在尝试解决此练习，但无法获得所需的输出。将整数列表压缩为压缩列表。列表包含连续整数的段。一个段...

prolog swi-prolog

回答 1 投票 0

未捕获的异常：错误（instantiation_error，（=<)/2)

我正在尝试编写一个 7x7 的板，我需要设置和检查板的限制，所以我做了以下函数：林（X，Y）：- X =< 7, X >= 1, Y =< 7, Y >= 1。 ...

prolog instantiation uncaught-exception

回答 1 投票 0

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

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

prolog swi-prolog early-return

回答 2 投票 0

如何在Prolog中拆分列表？

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

prolog

回答 3 投票 0

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

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

prolog

回答 1 投票 0

如何在Java中使用Prolog？

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

java prolog

回答 6 投票 0

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

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

database prolog swi-prolog swi-prolog-for-sharing

回答 1 投票 0

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

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

prolog

回答 4 投票 0

通过Mac终端运行SWI Prolog

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

macos terminal prolog swi-prolog

回答 3 投票 0

prolog 相关问题

最新问题