1. 1. Introduction
2. 2. Datalog
3. 1. 2.1. Abstract Syntax
   2. 2.2. Concrete Syntax
   3. 2.3. Language Features
4. 3. Model API
5. 1. 3.1. Programs
   2. 1. 3.1.1. Features
      2. 3.1.2. Parser
      3. 3.1.3. Visitor
   3. 3.2. Relations
   4. 1. 3.2.1. Input/Output
   5. 3.3. Rules
   6. 3.4. Evaluation
   7. 1. 3.4.1. Stratification
   8. 3.5. Queries & Views
   9. 1. 3.5.1. Relational Algebra
   10. 3.6. Error Handling
6. 4. Model Extension
7. 1. 4.1. RelationSet I/O
   2. 4.2. Writing an Evaluator
   3. 4.3. Writing a Formatter
   4. 4.4. Contributing
8. 5. Appendix: Abstract Graphical View
9. 6. Appendix: Datalog EBNF
10. 7. Appendix: Relational Algebra Mapping
11. 1. 7.1. Relational Algebra EBNF
12. 8. Appendix: Horn Clause Mapping
13. 9. Appendix: References