letter(Ch) :- char_type(Ch,alpha).
variable(v(Ch))--> [Ch],{letter(Ch)}.
term(V) --> variable(V),!.
term(E) --> ['('], exp(E), [')'].
exp(E) --> term(T), rexp(T,E).
rexp(L,E)-->[+],!,term(T),rexp(L+T,E).
rexp(L,E)-->[-],!,term(T),rexp(L-T,E).
rexp(L,L)-->[].

phrase(exp(X), [a,+,b]).
X = v(a)+v(b).