问题标签 [successor-arithmetics]

我正在尝试制作一个除以两个 Peano 数字的程序。不幸的是，在我寻找其他答案后，循环开始运行。有什么方法可以避免使用我的方法重复吗？

输出

输出#2

我有以下知识库：

它可以正确评估查询，例如：

但是，以下查询被评估为：

但所需的输出是：

我知道问题出在这条线上：

但我就是想不通。任何帮助，将不胜感激！

我现在试着理解序言。我想给出输入：convert(s(s(s(X))),Y)输出应该是Y = 3.

这些是我现在的规则，但只有输入： convert(s(0), 1). 和 convert(s(s(0)), 2)。工作。

如果我的递归可以正常工作，我就不需要规则：convert(s(s(0)), 2). 有人可以帮我解决这个问题吗？

我是 Prolog 的新手，对编程练习有疑问：

我有一个程序，我认为大部分时间都在工作，但是对于特定的查询，我没有得到答案

所以我明白，Prolog 现在会尝试 A 和 B 的所有可能数字 -> [0,s(0),s(s(0)),s(s(s(0))), ...] 但如果它找到了 A 的答案（即s(s(0))）它在 B 处失败，在下一次调用中，它尝试 A 的下一个答案（即s(s(s(0)))），依此类推。现在的问题是，我希望 Prolog 停止，如果它找到 A 的答案，并且现在只搜索 B 的答案。

谁能给我一个提示，如何解决这个问题？

我目前正在尝试练习一些 Prolog。我刚开始，我面临一个我不太明白的问题。我想递归地确定一个皮亚诺数是否是另一个皮亚诺数的两倍。我试图这样解决它：

由于某种原因，它不起作用。有谁知道为什么？

一些代码可以帮助

我正在尝试解决序言“GCD and LCM peano number ”中的一个简单问题

我不知道如何开始？

如何在序言中比较钢琴的编号非常感谢您的帮助

我试图在序言中比较两个peano 的数字，但有些结果是错误的。

任何人都可以帮助我，这是我的代码：

或者

输出 ：

第一个输出错误

谢谢你 。

我正在尝试在 prolog 中的两个peano 数字的mod 函数中编写简单的案例，放一些案例它给了我错误的答案我不知道我的代码有什么问题

简单的情况是如果 C 小于 D 返回 C

我没有输出

谢谢你。

我想test(A,B)在序言中写一个谓词，如果 A 小于或等于 B，则该谓词为真。

查询示例（应返回 true）：

这是我到目前为止编写的代码：

但它不起作用。

我对这个练习有一些问题

例如，我知道 SUCC(2) = 3，但我仍然对这个问题没有任何想法。有人可以帮忙吗？它可能是 LISP 语言，但没有来自 Google 的答案。