在Racket中模仿Prolog的回溯
Imitate Prolog's Backtracking in Racket
我发现 Prolog 的回溯非常吸引人，想知道是否有人对如何在 Racket 中模仿 Prolog 的回溯有任何可能的想法，作为一个可能的夏季项目想法。另外，为什么 Racket 宏这么强大？
过去的爆炸 "Transliterating Prolog into Scheme"，Mathias Felleisen，1982 年。
ftp://infosecon.net/pub/techreports/TR182.pdf
另外，动手 "The Reasoned Schemer"。
唉，听到这个包已经存在，您可能不会很高兴。它叫做 Racklog，最初是由 Dorai Sitaram 开发的。这是文档：
因为还没有提到，所以有a meta-circular implementation in the Structure and Implementation of Computer programs by Abelson and Sussman, which runs a code by converting it into two-continuations passing style，贯穿始终的两个continuation，一个是success，另一个是失败.
我发现 Prolog 的回溯非常吸引人，想知道是否有人对如何在 Racket 中模仿 Prolog 的回溯有任何可能的想法，作为一个可能的夏季项目想法。另外，为什么 Racket 宏这么强大？
过去的爆炸 "Transliterating Prolog into Scheme"，Mathias Felleisen，1982 年。
ftp://infosecon.net/pub/techreports/TR182.pdf
另外，动手 "The Reasoned Schemer"。
唉，听到这个包已经存在，您可能不会很高兴。它叫做 Racklog，最初是由 Dorai Sitaram 开发的。这是文档：
因为还没有提到，所以有a meta-circular implementation in the Structure and Implementation of Computer programs by Abelson and Sussman, which runs a code by converting it into two-continuations passing style，贯穿始终的两个continuation，一个是success，另一个是失败.