├── .github ├── FUNDING.yml └── workflows │ └── pages.yml ├── .gitignore ├── README.md ├── book.toml └── src ├── README.md ├── SUMMARY.md ├── adt.md ├── analysis.md ├── basics.md ├── chapter_1.md ├── custom.js ├── functional.md ├── graphs.md ├── imperative.md ├── implementations.md ├── lattices.md ├── logic.md ├── negation.md ├── seminaive.md └── sql.md /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | # These are supported funding model platforms 2 | 3 | github: philzook58 4 | 5 | -------------------------------------------------------------------------------- /.github/workflows/pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/.github/workflows/pages.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # datalog-book 2 | -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/book.toml -------------------------------------------------------------------------------- /src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/src/README.md -------------------------------------------------------------------------------- /src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/src/SUMMARY.md -------------------------------------------------------------------------------- /src/adt.md: -------------------------------------------------------------------------------- 1 | # Algebraic Data Types 2 | -------------------------------------------------------------------------------- /src/analysis.md: -------------------------------------------------------------------------------- 1 | # Program Analysis 2 | -------------------------------------------------------------------------------- /src/basics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/src/basics.md -------------------------------------------------------------------------------- /src/chapter_1.md: -------------------------------------------------------------------------------- 1 | # Chapter 1 2 | -------------------------------------------------------------------------------- /src/custom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/src/custom.js -------------------------------------------------------------------------------- /src/functional.md: -------------------------------------------------------------------------------- 1 | # Functional Programs 2 | 3 | # Macros 4 | 5 | -------------------------------------------------------------------------------- /src/graphs.md: -------------------------------------------------------------------------------- 1 | # Graphs 2 | -------------------------------------------------------------------------------- /src/imperative.md: -------------------------------------------------------------------------------- 1 | # Imperative Programs 2 | -------------------------------------------------------------------------------- /src/implementations.md: -------------------------------------------------------------------------------- 1 | # Implementations 2 | -------------------------------------------------------------------------------- /src/lattices.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/philzook58/datalog-book/HEAD/src/lattices.md -------------------------------------------------------------------------------- /src/logic.md: -------------------------------------------------------------------------------- 1 | # Logic Programs and Magic Set 2 | -------------------------------------------------------------------------------- /src/negation.md: -------------------------------------------------------------------------------- 1 | # Negation 2 | -------------------------------------------------------------------------------- /src/seminaive.md: -------------------------------------------------------------------------------- 1 | # Semi-naive Evaluation 2 | -------------------------------------------------------------------------------- /src/sql.md: -------------------------------------------------------------------------------- 1 | # SQL 2 | --------------------------------------------------------------------------------