số Parsing với nhiều chữ số trong Prolog

Question

Tôi có phân tích cú pháp biểu hiện đơn giản như sau:

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". 

Tuy nhiên điều này chỉ hỗ trợ số 1 chữ số. Làm cách nào để phân tích cú pháp các số có nhiều chữ số trong trường hợp này?

Answer 1

Sử dụng biến tích lũy và chuyển các biến đó trong các cuộc gọi đệ quy. Trong phần sau, A và A1 là bộ tích lũy.

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). 

để khởi tạo bộ tích lũy bằng cách tiêu thụ chữ số vì bạn không muốn khớp với chuỗi trống.

Answer 2

Bạn có thể cung cấp đầu vào mẫu không?

Tôi nghĩ rằng đây sức công việc:

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

Nếu thất bại thử:

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

Các! là một vết cắt nó dừng sự thống nhất. Bạn có thể đọc về nó trong sách/hướng dẫn.

Answer 3

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

Nhưng bạn sử dụng cú pháp mà tôi không biết (xem nhận xét của tôi ở trên).