问题标签 [successor-arithmetics]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
1321 浏览

prolog - 使用皮亚诺数除法

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

输出

输出#2

0 投票
1 回答
1384 浏览

prolog - Prolog 后继算法

我有以下知识库:

它可以正确评估查询,例如:

但是,以下查询被评估为:

但所需的输出是:

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

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

0 投票
1 回答
1703 浏览

prolog - 使用 Prolog 返回整数

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

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

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

0 投票
1 回答
192 浏览

prolog - Prolog 不会在使用 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 的答案。

谁能给我一个提示,如何解决这个问题?

0 投票
1 回答
550 浏览

prolog - Prolog 中带有 Peano 数字的递归加法不起作用

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

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

0 投票
0 回答
665 浏览

prolog - 序言中的 GCD 和 LCM

一些代码可以帮助

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

我不知道如何开始?

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

0 投票
2 回答
1780 浏览

prolog - swi-prolog中的不相等操作

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

任何人都可以帮助我,这是我的代码:

或者

输出 :

第一个输出错误

谢谢你 。

0 投票
1 回答
189 浏览

prolog - 在 prolog 中设置返回值

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

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

我没有输出

谢谢你。

0 投票
1 回答
147 浏览

prolog - 如果 A 小于或等于 B,prolog 中的谓词为真

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

查询示例(应返回 true):

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

但它不起作用。

0 投票
1 回答
274 浏览

recursion - SUCC 的功能

我对这个练习有一些问题

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