For discussion: improve isConsequences

[BenKaufmann]

No description provided.

[rkaminsk]

It seems to be working as expected now. Given

a.
b.
c.
{d}.
e :- not d.

#project a.
#project e.

#script (python)

def on_model(m):
    cons = []
    for atom in m.context.symbolic_atoms:
        if m.is_consequence(atom.literal):
            cons.append(atom.symbol)
    print(f"consequences: {' '.join(str(x) for x in cons)}")


def main(ctl):
    prj = set()
    ctl.ground()
    ctl.solve(on_model=on_model)

#end.

the output is

$ clingo project.lp --project 0
clingo version 5.7.2 (3d2f2b6e)
Reading from project.lp
Solving...
consequences: e a
Answer: 1
a b c e
consequences: a
Answer: 2
a b c d
SATISFIABLE

Models       : 2
Calls        : 1
Time         : 0.048s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.048s

[rkaminsk]

Should we just merge?

[BenKaufmann]

Should we just merge?

Fine with me 👍