1
我觉得Prolog的回溯非常迷人，并且想知道是否有人有任何可能的想法来模仿Prolog在Racket中的回溯作为一个可能的夏季项目的想法。另外，为什么球拍宏如此强大？模仿Prolog在球拍中的回溯
A
回答
6
从过去的 “音译的Prolog到方案”，马蒂亚斯Felleisen直向，1982年
ftp://infosecon.net/pub/techreports/TR182.pdf
而且，把你的手 “理由充分的策士”。
+0
链接，为我工作（今天）：ftp://ftp.extreme.indiana.edu/pub/techreports/TR182.pdf – 2017-05-01 05:51:39
6
唉，你可能不完全高兴听到这个包已经存在。它被称为Racklog，最初由Dorai Sitaram开发。这里的文档：
3
因为它尚未提到的，在结构以及由阿伯尔森和萨斯曼，计算机程序实现，可以运行代码a meta-circular implementation通过将其转换成 - 继续passing style，随着经过两次延续贯穿，一次为成功另一次为次失败。
您可以使用任何编程语言实现回溯搜索，但具有头等功能的语言使其更容易。你可能会发现寻找延续传球方式很有帮助。但是，正如它所提出的，这个问题对于Stack Overflow来说太模糊或者太广泛了。如果你只是在寻找引用，那么它可能是无关紧要的。 – 2015-04-03 02:10:46