Symbolic and relational programming
Reading
- Willsey et al.: egg: Fast and Extensible Equality Saturation
- Steele & Byrd: dxo: A System for Relational Algebra and Differentiation
- Friedman, Byrd & Kiselyov: The Reasoned Schemer
- Norvig: Paradigms of Artifical Intelligence Programming
Code
- Pythological organization on github
- Peter Norvig released PAIP's code
- PiCat