Lineage capture for DL segfaults if no answer predicate given

IITDBGroup / gprom

GProM is a middleware that adds support for provenance to database backends.

Apache License 2.0

8 stars 5 forks source link

Open lordpretzel opened 1 year ago

lordpretzel commented 1 year ago

If FOR RESULTS FROM is given, but now ANS (answer predicate is specified), then we get a segfault

q(x) :- nation(x,y,z,a).
rp(1).
LINEAGE FOR nation FOR RESULTS FROM rp.