Viele Implementierungen von Prolog-in-Scheme sind da draußen. Z.B. Kanren, Schelog.Parsen mit DCGs in Schema (ohne Prolog)?
Offenbar implementiert Norvig in "Paradigmen der KI-Programmierung" den Prolog-zu-Lisp-Compiler in Lisp, um Grammatikeinheiten mit definierter Klausel zu verwenden.
Aber gibt es einen einfacheren sauberen Weg? Vielleicht eine clevere Verwendung von amb, um die Implementierung eines vollständigen "Prologs" zu vermeiden? Was ist der einfachste Weg, DCG-basierte Parsing in Scheme zu haben?