Запрашивать DCG Prolog для ответа

Question

У меня есть DCG, написанный в прологе, который пытается перевести строку в простую логику высказываний.

Действующие правила: + означает OR, * средства и, - значит НЕ

g(or(X,Y)) --> 
    f(X), 
    "+", 
    g(Y). 
g(X) --> 
    f(X). 

f(and(X,Y)) --> 
    e(X), 
    "*", 
    f(Y). 
f(X) --> 
    e(X). 

e(not(X)) --> 
    "-", 
    d(X). 
e(X) --> 
    d(X). 

d(X)--> 
    "(", 
    g(X), 
    ")".  
d(a)--> 
    "a". 
d(b)--> 
    "b". 

Однако у меня возникли проблемы с Out of local trace ошибками.

Этот код должен быть правильным, но как я прошу Пролог дать and(not(or(a,b)),or(b,not(a))) как ответ на -(a+b) * (b + -a)

Answer 1

грамматика кажется, хорошо, но вы забыли обработать/пропустить ЗАГОТОВКИ

?- phrase(g(X), `-(a+b)*(b+-a)`). 
X = and(not(or(a, b)), or(b, not(a))) ; 
false. 

(примечание : Я вручную удалил все пробелы и использовал расширения SWI-Prolog для списка букв.)