Prolog: nat(s(s(0))) 到“正常”十进制数

Question

如果在 Prolog 中这样定义整数：

nat(0).
nat(s(X)) :- nat(X).

如何将这样的数字转换为十进制数？

输入例如：

s(s(s(0)))

我可能应该补充一点，我对 Prolog 很陌生。

编辑： 我是这样尝试的：

nat(0).
nat(s(X)) :- nat(X).

convert(N, C) :-
    C is C + 1,
    nat(N),
    convert(N, C).

Answer 1

基本上有两种情况需要介绍：

1. 基本情况0映射到0；和
2. 递归案例s(X) 使用X 的结果。

因此，基本情况如下所示：

convert(<b>0</b>, <b>0</b>).

因此递归情况如下所示：

convert(S(X), N) :-
    convert(X, N1),
    ….

因此… 是在给定N1 的情况下确定N 所需执行的步骤。我把它留作练习。