souffle
souffle copied to clipboard
Published
20 hours ago •
souffle-lang
souffle-lang
Fix#2158
This is a partial fix for issue #2158.
The aggregate materialisation is still broken.
The fix causes problems with the forms [a,b,c] != [d,e,f] since we have only conjunctions in aggregate bodies and clause bodies. To make this work, we would need to rewrite the form to !(a=d, b=e, c=f) or disjunction a!=d;b!=e;c!=f (which we don't have in the current AST).
Perhaps it is time to get rid of the parser/ParserDriver and have negation and disjunctions part of the AST IR.