successor-arithmetics
-
Prolog 中使用 Peano 数的递归加法不起作用
-
Prolog 不会终止带有 2 个参数的查询
-
Return 与 Prolog 的整数
-
Prolog 后继算术
-
使用 Peano 数除法
-
如果 M 和 N 的差异大于 X，则序言中的谓词为真
-
从自然数创建后继数
-
Prolog：2个数的递归乘法
-
Prolog中的递归加法
-
在谓词的响应中评估 s(N)，而不会丢失功能
-
立即学习 Prolog - 递归练习中的回溯问题
-
DCG 加倍计数
-
Prolog 递归子句
-
如何在 Coq 中将“+ 1”（加一）重写为 "S"（succ）？
-
Successor Arithmetic Prolog Mod 函数
-
Power with successor arithmetic - 如何防止无限循环？ [序言]
-
Prolog在寻求另一个解决方案时得到无限循环
-
提示不回来