模仿Prolog在Racket中的回溯

Question

我发现Prolog的回溯非常吸引人，并且想知道是否有人可能会想到如何模仿Prolog在Racket中的回溯，作为一个可能的夏季项目想法。另外，为什么Racket宏如此强大？

Answer 1

从过去的爆炸＆＃34;音译到计划＆＃34;，Mathias Felleisen，1982。

ftp://infosecon.net/pub/techreports/TR182.pdf

另外，请开始使用＃34; The Reasoned Schemer＆＃34;。

https://mitpress.mit.edu/books/reasoned-schemer

Answer 2

唉，你可能不会完全高兴听到这个包已经存在。它被称为Racklog，最初由Dorai Sitaram开发。这是文档：

http://docs.racket-lang.org/racklog/index.html?q=racklog

Answer 3

由于尚未提及，Abelson和Sussman的计算机程序的结构和实现中有a meta-circular implementation，它通过将代码转换为 2来运行代码 -continuations passing style，传递了两个延续，一个用于成功，另一个用于失败。