ptsankov/bellog

incorrect output

Closed this issue · 1 comments

ptsankov commented

p(X,Y) :- (p(X,Z) ^ !p(Z,Y))
p(X,Y) :- q(X,Y)
q(a,b) :- true
q(b,c) :- top

p(a,c) should be top.

ptsankov commented

The example is not stratified and XSB throws a "Floundering goal" exception.