Laschoking

Currently tracing an atom that is created through an aggregate results in the following error message: ``` thread 'main' panicked at nemo-physical/src/tabular/operations/filter.rs:128:9: internal error: entered unreachable code: Filter must only...

Constants dont produce facts when passed through the body

1

The first example produces 1 fact, while the second example produces not facts, which is unexpected. ``` HeapAllocation_Type("", "java.lang.String[]"). ``` ``` HeapAllocation_Type(?heap, ?type) :- ?heap = "", ?type = "java.lang.String[]"....

Error output: Add line number & relation

1

When receiving an error like: `error: Overloading of predicate names by arity is currently not supported.` it would be good, to output the line number and relation which caused he...

Expected warning for non-initialized relation in body

4

I would expect a warning, if a relation like "nonInitRelation" neither is imported nor appears in the head of any rule. `relation(?a) :- nonInitRelation(?a).`