This (closed world) tools allow folks to make actual decisions (for exampel, cheapest flight to X).
- Aggregates (min, max, count).
- Scalar operations (string, arithmetic).
- Safe negation (eliminates solution based on already bound variables).
- General negation (fact X not asserted so infer Y).