186 followers
@hillelogram @DenisKuniss @RoundTableLaw If {Prolog,Lisp} macros are metaprogramming, then DCGs (2-level grammars) are also metaprogramming, although the latter depend on runtime unification (the term expansion uses compile-time unification). You might be