Introduction
1.
Basics
2.
Negation
3.
Algebraic Data Types
4.
Semi-naive Evaluation
Applications
5.
Program Analysis
6.
Aggregates, Lattices, and Subsumption
7.
Prolog
8.
Modelling State
9.
Functional Programs
10.
Logic and Types
11.
Graphs
Egglog
12.
Egglog
Appendix
13.
SQL
14.
Implementations
15.
Bibliography
Light (default)
Rust
Coal
Navy
Ayu
Datalog Comin' Right At Ya!
Semi-Naive Evaluation