Prolog 加法练习
我有这个非常简单的代码作为数字的表示。问题是当我使用 add2 函数时。 示例：add2(s(0)+s(s(0)), s(s(0)), Z)。 返回 s(s(s(s(s(0) ))))) 正确。但是…
prolog - 无限规则
我有下一个规则 % Signature: natural_number(N)/1 % Purpose: N is a natural number. natural_number(0). natural_number(s(X)) :- natural_number(…
SWI-prolog 中的自然数递归过程
我的自然数的下一个过程是 SWI-prolog： natural_number(0). natural_number(s(X)) :- natural_number(X). 现在我想做一个递归调用，当我们到达 0 时…
Haskell 中实例化类型变量
编辑：已解决。我不知道在源文件中启用语言扩展并没有在 GHCi 中启用语言扩展。解决方案是在 GHCi 中 :setFlexibleContexts 。 我最近发现 Haskell 中…
- 共 1 页
- 1
