Пролог: nat (s (s (0))) к "нормальным" десятичным числам

Question

Если целые числа определены в Прологе следующим образом:

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

Как преобразовать такое число в десятичное число?

Например:

s (s (s (0)))

Вероятно, я должен добавить, что я новичок в Prolog.

EDIT: Я пробовал это так:

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(<b>S(X)</b>, N) :-
    convert(X, N1),
    &hellip;.

где …, таким образом, шаг, который вам нужно сделать, чтобы определить N с учетом N1. Я оставляю это как упражнение.