prolog中上下文敏感的生成

我感兴趣的是生成上下文敏感语言的元素，如Chomsky所述，如中所述 在“类型1语法”一节下

（基本上，类似于标准的上下文无关语法，但允许在产生式规则的左侧使用多个符号，包括终端）

---

我知道Prolog中的定分句语法，但我没有看到它们与乔姆斯基的上下文敏感语言之间的明显映射。是否有一种“通用”的方法可以使用DCG框架来描述左侧带有多个符号的生产规则，或者我是否需要为每种语言提供一种特殊的方法？

右侧的上下文可以直接使用文本进行编码：

nt1, "context" --> nt2, "context".

---

对于左侧的上下文，没有明显的直接编码。大多数情况下都会使用非终端的参数。

有一个例子说明了如何在所有地方都这样做，但要使这成为S.O.上的一个合法问题，您必须有一个您试图解决的具体问题。有趣的是：-类型1-产生式规则-αaβ→ αγβ