Пролог - разбор функции с DCG

Question

мне нужно разобрать функцию строки, представляющие, как это:

<fsignature>"(" <term1>, <term2> ... <termn>")" 

Функция»подпись и условие также должно контролироваться в дальнейшем для функции будет принята. Я написал этот DCG в Prolog:

fsign --> {is_leg(A)}, [A]. 
terms --> (funct, funct; terms). 
terms --> (terms, terms; term). 
term --> {is_term(T)}, [T]. 

Но это, кажется, не работает, когда я пытаюсь использовать фразу (функц [Foo, "(", а, а, ")"]). он переходит в переполнение. is_leg просто проверяет, является ли строка законной (строка начинается с символа), а is_term должен проверить, является ли этот термин литералом (константа, переменная или функция).

Что это не работает? Я полагаю, вероятно, переменные - должен ли я ставить их как аргументы нетерминалов?

Спасибо за любую помощь.

Answer 1

Если ваши выражения все выглядеть следующим образом:

<fsignature> "(" <term1> <term2> ... <termn> ")" 

Тогда пишу это в терминах ВСО, он должен выглядеть следующим образом (минус любая проверка строки предикаты вы предлагаете):

expression --> fsignature, ['('], terms, [')']. 
fsignature --> ...  % whatever fsignature looks like 
terms --> term.   % "terms" is a single term, or... 
terms --> terms, term. % ... more terms followed by a single term. 
term --> ...   % whatever a term looks like 

Вы также можете написать определение terms как:

terms --> term | terms, term. 

Обратите внимание, что нерекурсивное определение terms происходит до рекурсивного. Кроме того, определение для terms выше предполагает, что у вас должен быть хотя бы один термин (это требование не было указано в вашем вопросе).