asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
Documentation 
1
2
3
4
5
6
7
8
9
10
11

# Writing an Evaluator

![Evaluator extension point](evaluator.svg)

### Using the PrecedenceGraph

![PrecedenceGraph](evaluator_precedence.svg)

### Using the StratifiedProgram

![StratifiedProgram](evaluator_stratified.svg)