Analizando con los DCG en Scheme (sin Prolog)?

Question

Hay muchas implementaciones de Prolog-in-Scheme disponibles. P.ej. Kanren, Schelog.

Aparentemente en "Paradigmas de la Programación de IA" Norvig implementa el compilador Prolog-to-Lisp en Lisp para usar Gramáticas de Clave Definitiva.

¿Pero hay una manera más simple de limpieza? Tal vez algún uso inteligente de amb para evitar la implementación de un "Prolog" completo? ¿Cuál es la forma más fácil de tener un análisis basado en DCG en Scheme?

Answer 1

Los DCG usan unificación y retroceso, por lo que no se puede evitar la implementación del núcleo de Prolog. Es decir, puede representar cualquier programa Prolog puro como un DCG que analiza la lista vacía.

Puede hacerlo si solo le interesan algunos casos especiales de DCG, como los que no tienen variables (solo son útiles para reconocer, no para analizar).