Prolog 初学者：如何为谓词中的每个变量设置唯一值
我有一个序言谓词： Add( [A|B] , Answer ) :- ... ~ Add everything in the list to come up with answer ... 我现在想实现 AddUnique ，当我给它两…
Prolog 初学者：如何与算术比较运算符统一或如何将 set var 获取到值的范围
我是 Prolog 新手。我需要编写一个整数加法器，它将 0-9 之间的数字与其他数字 0-9 相加，并产生一个解决方案 0-18。这就是我想做的： % pseudo code …
Prolog 中的可逆数值计算
在阅读 SICP 时，我遇到了逻辑编程第 4.4 章。然后我开始研究 Prolog 编程语言，并尝试理解 Prolog 中的一些简单作业。我发现Prolog在数值计算方面似…
使用 SICStus Prolog 推广斐波那契数列
我正在尝试寻找广义斐波那契序列（GFS）查询的解决方案。问题是：是否有第 12 个数字为 885 的 GFS？最初的 2 个数字可能限制在 1 到 10 之间。 我已…
Prolog：识别 n >= 1 的 a^nb^(n+1) 语言
我知道我需要自己搞清楚作业，但看到班上没有人能搞清楚，我需要一些帮助。 编写一个 Prolog 程序，使得 p(X) 如果 X 是由 n 组成的列表，则为 true …
Prolog 中的整数除法运算符
这段代码是我正在编写的程序的一部分，用于解决序言中的密码难题。我正在使用 CLPFD (SICStus Prolog) 解决这个问题。我在使用内置整数除法运算符“//…
计算一系列不同的奇数（如果存在），使它们的总和等于给定的数字
:- use_module(library(clpfd)). % load constraint library % [constraint] Compute a list of distinct odd numbers (if one exists), such that th…
