PPA 读书笔记 0 ： Pre

这个笔记主要会记录我在实现PPA 中算法的时候遇到的一些问题， 可能不会放太多PPA书上已经有的内容。

初步计划是我会使用racket, 和逻辑式编程的方式(也许并不是某一种特定的工具)来实现PPA上的算法，比较直白的算法其实用racket也是非常好且简洁～

完整的code我会放在这个repo:
https://github.com/StarGazerM/ppa-in-code