1. Introduction
  2. 1. Basics
  3. 2. Negation
  4. 3. Algebraic Data Types
  5. 4. Semi-naive Evaluation
  7. Applications
  8. 5. Program Analysis
  9. 6. Aggregates, Lattices, and Subsumption
  10. 7. Prolog
  11. 8. Modelling State
  12. 9. Functional Programs
  13. 10. Logic and Types
  14. 11. Graphs
  16. Egglog
  17. 12. Egglog
  19. Appendix
  20. 13. SQL
  21. 14. Implementations
  22. 15. Bibliography

Datalog Comin' Right At Ya!