prolog 相关问题

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

Prolog约束逻辑编程 - 如何在给定整数列表的情况下在域变量列表上设置域？

基本上我想要实现的是：给定域变量列表，将这些变量设置为相对于数字列表的域。示例：...... List = [A1，A2，A3]，域（List，1,5），setDomain（...

prolog clpfd

回答 2 投票 0

重复结果存储在Prolog的列表中

我正在尝试创建一个Prolog程序来解决递归方程：f（1）= 2，f（2）= 5，f（n）= f（n-1）+ 2 * f（n-2）我管理使用下面的rec功能，但是当我想存储时我遇到麻烦...

list error-handling prolog recurrence instantiation-error

回答 1 投票 2

如何在Prolog中生成所有自然数？

问题陈述：我试图在Prolog（SWI-Prolog）中生成所有自然数对，即形式上具有函数f（X，Y），这样：在用未绑定变量X调用f（X，Y）之后，是的，......

prolog

回答 1 投票 5

如何在Linux上安装swi Prolog的图形化调试器（ubuntu）

我是Prolog的新手，当我尝试调用图形化调试器时，我收到以下错误消息：错误：未定义的过程：guitracer / 0（DWIM无法纠正目标）如何解决这个问题？

linux ubuntu prolog swi-prolog

回答 1 投票 0

Prolog谓词问题

我的部分工作有问题。我应该写一个谓词“友好”，当网络成员X被称为友好时，如果X喜欢回复所有人......

prolog

回答 4 投票 0

在二进制树的道路 - Prolog

我的作业有问题。我必须在prolog中编写代码，它将向我展示最深的树叶。树表示为：树（[[[]，r，[[]，u，[[]，t，[]]]]，a，[[]，c，[] ......

prolog binary-tree

回答 3 投票 1

尝试使用prolog将变量分配/提取到列表列表中的不同元素

我正在尝试解决这个Prolog问题，但是，我正在努力让我的解决方案正常工作，并且想知道是否有人可以帮我修复错误 - 示例跟踪。到目前为止，这是我的代码; ...

prolog

回答 1 投票 0

Prolog - 将单词分成单独的字母

跟进这个问题。如何在不使用列表或内置谓词atom_chars / 2的情况下将单词拆分为字母。像split_word（Word，Letter，Rest）这样的东西。哪封信......

prolog

回答 2 投票 0

仅删除第一个和最后一个元素之外的中间元素

例;我有一个列表[1,2,3，a，f，s，h，u，4,5]。我想删除2,3，a，f，s，h，u，4，最终结果将[1,5]。我如何在Prolog中编写谓词？删除（A，[A | B]，B）。删除（A，[B，C | D]，[B | ...

prolog

回答 3 投票 2

谓词用于返回prolog中给定列表的元素顺序的排列

我正在试图弄清楚Prolog中的这个谓词是如何产生排列的，但我无法弄清楚sel的第二个谓词 - 并且想知道其他人是否清楚这一点？％...

prolog

回答 1 投票 -1

setof创建了许多列表而不是一个列表序言

我有一个我使用prolog创建的函数，由于某种原因它总是为每个元素而不是一个列表创建多个列表，有人可以帮助我吗？这是我写的:(问题是......

list prolog prolog-setof

回答 1 投票 2

在最后一个空格键之前计算元素

我想计算最后一个空格键之前的元素数量。例如，我有一个列表[a，b，_，_，f，g，h，_，_，_]，最终结果为X = 3。 last_word（String，Word）： - last_word（String，[]，Word）....

prolog

回答 1 投票 0

SWI Prolog程序可以从外部数据库获取其事实吗？

我正在计划SWI Prolog程序（语义自然语言解析器），它具有庞大而动态的事实集（具有大约30.000个条目的词典）。是否可以将这些事实存储在外部数据库中....

database prolog swi-prolog tinkerpop

回答 1 投票 3

仅显示语句中的差异

预订（“8V32EU”，“John”，“Doe”，“27B”，“YYZ”，“CPH”，“SAS”）。预订（“8V32EU2”，“Jane”，“Doe”，“27B”，“YYZ”，“CPH”，“SAS”）。预订（“94ISCU”，“John”，“Doe”，“2C”，“CPH”，“YYZ”，“SAS”）。 ...

prolog

回答 2 投票 0

SWI Prolog与GNU Prolog - SWI下的CLP（FD）问题

我在Prolog中写了一个快速谓词，尝试了CLP（FD）及其解决方程组的能力。问题（A，B）： - A-B＃= 320，A＃= 21 * B.当我在SWI中调用它时，我得到：？ - 问题（A，B）。 ...

prolog swi-prolog clpfd gnu-prolog clp

回答 1 投票 4

评估条款开头的表达式

有没有办法在findall / 3子句中评估这个总和？ findall（（A + C，[M，H | _]），（b_to_b（H，M，C），\ +成员（M，[H | T]）），R）。在这里我得到像（1 + 3，List）这样的值，我正在寻找一些快捷方式......

prolog

回答 1 投票 -1

在prolog中列出连续的对

我想列出给定列表中的连续对，例如给[1,2,3]它返回X = [[1,2]，[2,3]]我对递归有点困惑。我尝试使用上面的代码，它返回我的对...