У меня проблемы с анализом последовательностей, которые начинаются с заглавных букв в переменные с использованием нотации Пролога DCG.Например, если у меня есть строка
f a X y Z X
и DCG, которая анализирует эту строку, есть ли способ проанализировать каждую заглавную букву в уникальную переменную Prolog.Например, синтаксический анализ Y для переменной и каждый X для переменной?Предполагаемое применение состоит в том, чтобы построить функтор
T = f(a,X,y,Z,X)
с помощью правила DCG, заканчивающегося оператором
{T =.. [Head|Args]}