问题标签 [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.
prolog - 使用皮亚诺数除法
我正在尝试制作一个除以两个 Peano 数字的程序。不幸的是,在我寻找其他答案后,循环开始运行。有什么方法可以避免使用我的方法重复吗?
输出
输出#2
prolog - Prolog 后继算法
我有以下知识库:
它可以正确评估查询,例如:
但是,以下查询被评估为:
但所需的输出是:
我知道问题出在这条线上:
但我就是想不通。任何帮助,将不胜感激!
prolog - 使用 Prolog 返回整数
我现在试着理解序言。我想给出输入:convert(s(s(s(X))),Y)
输出应该是Y = 3
.
这些是我现在的规则,但只有输入:
convert(s(0), 1)
. 和
convert(s(s(0)), 2)
。工作。
如果我的递归可以正常工作,我就不需要规则:convert(s(s(0)), 2)
. 有人可以帮我解决这个问题吗?
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 的答案。
谁能给我一个提示,如何解决这个问题?
prolog - Prolog 中带有 Peano 数字的递归加法不起作用
我目前正在尝试练习一些 Prolog。我刚开始,我面临一个我不太明白的问题。我想递归地确定一个皮亚诺数是否是另一个皮亚诺数的两倍。我试图这样解决它:
由于某种原因,它不起作用。有谁知道为什么?
prolog - 序言中的 GCD 和 LCM
一些代码可以帮助
我正在尝试解决序言“GCD and LCM peano number ”中的一个简单问题
我不知道如何开始?
如何在序言中比较钢琴的编号非常感谢您的帮助
prolog - swi-prolog中的不相等操作
我试图在序言中比较两个peano 的数字,但有些结果是错误的。
任何人都可以帮助我,这是我的代码:
或者
输出 :
第一个输出错误
谢谢你 。
prolog - 在 prolog 中设置返回值
我正在尝试在 prolog 中的两个peano 数字的mod 函数中编写简单的案例,放一些案例它给了我错误的答案我不知道我的代码有什么问题
简单的情况是如果 C 小于 D 返回 C
我没有输出
谢谢你。
prolog - 如果 A 小于或等于 B,prolog 中的谓词为真
我想test(A,B)
在序言中写一个谓词,如果 A 小于或等于 B,则该谓词为真。
查询示例(应返回 true):
这是我到目前为止编写的代码:
但它不起作用。
recursion - SUCC 的功能
我对这个练习有一些问题
例如,我知道 SUCC(2) = 3,但我仍然对这个问题没有任何想法。有人可以帮忙吗?它可能是 LISP 语言,但没有来自 Google 的答案。