Насколько я понимаю, в Prolog вы фиксируете функции во время синтаксического анализа следующим образом: foo (feature (X)) -> [X], bar. Часто ли это при разработке DCG? foo (featureA (X), featureB (Y)) -> [X], [Y], ...