Разбор чисел с несколькими цифрами в Прологе

Question

У меня есть следующий простой анализатор выражений:

expr(+(T,E))-->term(T),"+",expr(E).
expr(T)-->term(T).

term(*(F,T))-->factor(F),"*",term(T).
term(F)-->factor(F).

factor(N)-->nat(N).
factor(E)-->"(",expr(E),")".

nat(0)-->"0".
nat(1)-->"1".
nat(2)-->"2".
nat(3)-->"3".
nat(4)-->"4".
nat(5)-->"5".
nat(6)-->"6".
nat(7)-->"7".
nat(8)-->"8".
nat(9)-->"9".

Однако это поддерживает только однозначные числа. Как я могу разобрать номера с несколькими цифрами в этом случае?

Answer 1

Используйте переменные-аккумуляторы и передавайте их в рекурсивных вызовах. Далее А и А1 являются аккумулятором.

digit(0) --> "0".
digit(1) --> "1".
% ...
digit(9) --> "9".

nat(N)   --> digit(D), nat(D,N).
nat(N,N) --> [].
nat(A,N) --> digit(D), { A1 is A*10 + D }, nat(A1,N).

Обратите внимание, что первое предложение nat инициализирует аккумулятор, используя цифру, потому что вы не хотите совпадать с пустой строкой.

Answer 2

nat(0). 
nat(N):-nat(N-1).

Но вы используете синтаксис, которого я не знаю (см. Мой комментарий выше).

Answer 3

Можете ли вы предоставить пример ввода?

Я думаю, что может работать:

nat(N)-->number(N).

Если это не удалось, попробуйте:

nat(N)-->number(N),!.

The! это сокращение, которое останавливает объединение. Вы можете прочитать об этом в книгах / руководствах.