https://en.wikipedia.org/wiki/Extended_affix_grammar
это разновидность двухуровневых грамматик
The formalism is quite similar to Prolog, to the extent that it borrowed its cut operator.
EAGs have hyperrules that form a context-free grammar except in that their nonterminals may have arguments, known as affixes, the possible values of which are supplied by another context-free grammar, the metarules.