prolog 相关问题

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

Turbo Prolog:通过向列表添加最少数量的字符来创建回文

Turbo Prolog 上有一段代码可以从整个输入列表创建回文。 需要通过向列表中添加最少的字符来构建回文。 例如,我们输入了一个列表...

回答 1 投票 0

使用否定时,子句主体的 Prolog 顺序会给出不同的结果

我很难理解为什么当其中一个子句是否定时交换两个主体子句会给出不同的结果。 结婚了(约翰)。 男(约翰)。 男性(kev)。 单身汉1(X) :- \+ 已婚(X), ...

回答 1 投票 0

使用谓词检查 X 是否在列表中恰好出现四次的问题

我正在尝试编写一个谓词 fourExactly(X, List) 来检查变量 X 是否在列表中恰好出现四次。如果是这种情况,谓词应该为 true,如果不是,则谓词应该为 false。他...

回答 1 投票 0

最通用的统一符(Prolog)

有一个关于序言中的 m.g.u(最通用统一符)的快速问题。 我们被问到 m.g.u 是什么: f(X, g(Y, h(Z))) = f(Z, g(P, h(a)))。 有 2 个可能的答案 1. θ = {X/Z,Y/P,Z/a}。 2. θ =...

回答 2 投票 0

在序言中,函子与谓词以及目标

我开始学习Prolog。我有各种各样的书,我什至还买了标准版。我喜欢标准之类的东西,因为它们精确地定义了事物。但有些概念我无法理解。部分...

回答 1 投票 0

使用约束处理规则解决 N 皇后问题

我在使用 CHR 解决需要回溯的问题时遇到了明显的问题。我确信在某个地方使用 CHR 有一个经典的解决方案来解决这个问题,但我似乎找不到它......

回答 1 投票 0

有没有可以针对特定查询进行优化的 Prolog 编译器?

给定 Prolog 理论和一小组可能的查询,似乎有可能生成所需的搜索树/图,然后将其优化/减少到......

回答 1 投票 0

为什么我的 prolog 谓词一直返回 False?

我在序言中所做的这个谓词一直给我 False 而没有其他任何东西。 bintree_size(Tree, 0) :- Tree = []. bintree_size(树,大小):- 树 = [bt(_, 二叉树节点左,

回答 1 投票 0

如何从查询中返回通用公式?

所以在很多情况下,比如: 总和(X,Y,Z):- Z#=X+Y。 您可以给出最通用的查询来返回通用解决方案: ?-summa(X, Y, Z)。 $VAR(X)+ $VAR(Y)#= $VAR(Z)。 我有一个公式涉及...

回答 1 投票 0

Prolog,列表中元素 Y 之前的 X 元素[重复]

我要编写谓词,仅当且仅当元素 X 出现在列表 L 上的 Y 之前时才为 true 之前(L,X,Y):- nth1(PX, L, X), nth1(PY, L, Y), PX < PY. Above, you can ...

回答 2 投票 0

once 和 cut in prolog 有什么区别?

once/1 可以定义为 一次(目标):- 目标,!。 我试图理解 SWI Prolog 文档中讨论中出现的这两个示例之间的区别: 请注意,这是绝对的...

回答 1 投票 0

在加载时获取由 ECLiPSe 设置的种子

我想获取 ECLiPSe 加载时使用的种子。我知道如何通过 seeds/1 设置它,但如果我没有设置它,我不知道如何查询它:即如何检索 ECLi 设置的种子...

回答 1 投票 0

让简单的 Prolog 示例发挥作用

我正在尝试运行一个简单的 gprolog 在我的 Linux 机器上运行,GNU Prolog 是从 Ubuntu 软件中心安装的。 从 GNU Prolog Intro 中我得到了以下示例,存储在 HelloWorl 中...

回答 2 投票 0

如何在 L 系统启发的重写系统中进行递归,无需 DCG

我正在尝试编写一个受 Aristid Lindenmayers L-System 启发的小型递归重写系统,基本上是为了学习 Prolog 以及思考 Prolog 中的生成概念。我愿意...

回答 1 投票 0

SICStus Prolog 4 中的最大原子数

SICStus Prolog 用户手册说明了其通用限制: 在 32 位(64 位)架构上创建的原子数量不得超过 1048575 (33554431)。 所以当我运行以下命令时...

回答 1 投票 0

函子与谓词 - 给学生的定义

序言中函子和谓词之间的区别问题经常被问到。 我正在尝试制定一个适合新生的非正式定义。 函子是

回答 2 投票 0

具有无关错误解决方案的递归 Prolog 函数

我很难理解为什么 fib([1,2],F) 找到第二个解决方案 false,具有以下条款和规则: fib([A,B|C],F) :- fib([B|C],S), 纤维(C,T), F是(S+T)。 fib([A],1). 纤维([...

回答 1 投票 0

如何在Prolog中动态创建列表?

我已经查看了无数其他类似的问题,但我还没有找到可行的解决方案,所以我问这个: 我有一个规则: check_prime(X) :- X > 0, X0 为 X - 1, (X =:= ...

回答 1 投票 0

从属条件的 Prolog 语法

首先,我是 Prolog 新手,所以请对我宽容一些...另外,我正在使用 SWI-Prolog, 所以我想对 SWI 使用正确的语法。 在这种情况下,我想定义继父母(特别是继母...

回答 1 投票 0

PYSWIP 无法在 pyinstaller 可执行文件中工作

我用 TKINKTER 和 PYSWIP 用 python 和 prolog 完成了一个项目。当使用“pyinstaller -w --onefile main.py”创建可执行文件时,它给我一个错误,因为它没有使用 PYSWIP

回答 1 投票 0

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