## TODO

* [x] predicates
* [x] negation
* [x] disjunction
* [x] stratum
* [x] magic sets
* [x] unification
* [ ] duplicate symbols in rule heads
* [ ] aggregation
* [ ] range scan
* [ ] public API
* [ ] sorting
* [ ] limit, offset

comparators can have problems when sorting mixed integers and floats