search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
606 stars 81 forks source link

wrong grounding involving recursive conditional literals #495

Open rkaminsk opened 5 months ago

rkaminsk commented 5 months ago

The following program should not be unsatisfiable:

a.
b :- a.
a: a :- b.

(It seems like the element of the conditional literal is not grounded.)

The following program should include x in its stable model:

a.
b.
x :- a:b; a.
a: a :- x.