使用Scheme中的DCG進行解析（不使用Prolog）？

Question

很多Prolog-in-Scheme實施都在那里。 例如Kanren，Schelog。

顯然，在“AI編程的范例”中，Norvig在Lisp中實現了Prolog-to-Lisp編譯器，以便使用Definite Clause Grammars。

但是有更簡單的清潔方式嗎？ 也許一些聰明的使用amb來避免實施完整的“Prolog”？ 在Scheme中進行基於DCG的解析的最簡單方法是什么？

Answer 1

DCG使用統一和回溯，所以沒有避免實現Prolog的核心。 也就是說，您可以將任何純Prolog程序表示為解析空列表的DCG。

如果您只關心DCG的一些特殊情況，例如沒有變量的DCG（僅適用於識別，而不是解析），您可以這樣做。