## TODO

* [x] predicates
* [ ] negation
* [ ] aggregation
* [ ] stratum
* [ ] disjunction
* [ ] magic sets
* [ ] function symbol
* [ ] arithmetic
* [ ] range scan
* [ ] public API