prolog - prolog 中的上下文相关生成

Question

我对生成乔姆斯基描述的上下文敏感语言的元素感兴趣，如 Chomsky Classification of Grammars 中所述。 在“类型 - 1 语法”部分下。

(基本上，类似于标准的上下文无关语法，但允许产生式规则的左侧有多个符号，包括终结符)。

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

Answer 1

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

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

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