tofixjr

ASEO inference errors for non-grounded predicates

1

For a very simple (and stratified) program like: ```mango_buyer(1..3). mango_seller(1..3). 0.5::deal(X, Y) :- mango_buyer(X), mango_seller(Y). was_deal :- deal(X, Y). #query(was_deal). ``` we get **non-converging inference errors** with ASEO as opposed...