模仿Prolog在Racket中的回溯

Question

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

Answer 1

从过去的"Transliterating Prolog into Scheme",Mathias Felleisen,1982年.

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

另外,请接受"The Reasoned Schemer".

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

Answer 2

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

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