Ast
Abstract syntax trees used by the fixpoint solver.
Modules
| ExecutableRam | `ExecutableRam` is a low level representation of the Datalog program to be executed. This representation is tightly coupled to the current interpreter. |
| Ram | Abstract syntax tree of the relational algebra machine (RAM). |
| Shared | Definitions shared between the Datalog and RAM abstract syntax trees. |
Enums
| Datalog | `Datalog(facts, rules)` is a Datalog program where `facts` and `rules` are the facts and rules of the program, respectively. |