Constant bindings

Open comnik opened this issue 7 years ago • 1 comments

We should add support for constant bindings in ...

[x] predicates
[x] function expressions
[ ] rule expressions

For predicates and function expressions support is rather straight-forward, but for rules we can spend some more time thinking about how to do it efficiently. A first idea was to turn constant bindings to rule inputs into predicates that are then pushed down as far as possible into the rule body itself, to avoid unnecessary materialziation of tuples.

Oct 25 '18 17:10 comnik

[ ] Add possible explicit :ValueType

For example unix timestamps (> ?t {:Instant 132352525}) for things that cannot be inferred.

Oct 27 '18 13:10 bachdavi