Closed CerielJacobs closed 4 years ago
rules:
r(X,V), r(V,e) :- c(X) r(X,Z) :- r(X,Y), r(Y,Z) hasRe(X) :- c(X),r(X,e) hasNoRe(X) :- c(X),~hasRe(X)
data.csv:
a
edb.conf:
EDB0_predname=c EDB0_type=INMEMORY EDB0_param0=. EDB0_param1=data
Materialization gives data for both hasNoRe and hasRe, but should not give data for hasNoRe.
rules:
r(X,V), r(V,e) :- c(X) r(X,Z) :- r(X,Y), r(Y,Z) hasRe(X) :- c(X),r(X,e) hasNoRe(X) :- c(X),~hasRe(X)
data.csv:
a
edb.conf:
EDB0_predname=c EDB0_type=INMEMORY EDB0_param0=. EDB0_param1=data
Materialization gives data for both hasNoRe and hasRe, but should not give data for hasNoRe.