%%clingo -V0 0
{ a; b }.
:- not 1 { a; b } 1.
b a SATISFIABLE
%%clingo -V0 0
1 { a; b } 1.
%%clingo -V0 0
{ a; b; c }.
:- not 2 { a; b; c }.
b c a b c a c a b SATISFIABLE
%%clingo -V0 0
2 { a; b; c }.
%%clingo -V0 0
{ a; b }.
:- not 1 { a; b } 1.
{ b; c }.
:- not 1 { b; c } 1.
a c b SATISFIABLE
%%clingo -V0 0
1 { a; b } 1.
1 { b; c } 1.
%%clingo -V0 0
{ a; b }.
:- not { a; b } 1.
{ b; c }.
:- not 1 { b; c }.
c a c b b c SATISFIABLE
%%clingo -V0 0
{ a; b } 1.
1 { b; c }.
%%clingo -V0 0
1 { a; b } 1.
c :- a.
d :- b.
:- { c; d } 0.
d b c a SATISFIABLE
%%clingo -V0 0
1 { a; b } 1.
c :- a.
d :- b.
:- 1 { c ; d }.
%%clingo -V0 0
1 { a; b }.
1 { c; d } 1 :- a.
:- b, 2 { a; c; d }.
b a c a d SATISFIABLE
%%clingo -V0 0
1 { a; b }.
1 { c; d } 1 :- a.
:- not 2 { a; b; c; d }.
%%clingo -V0 0
{ a; b } 1.
1 { b; c } :- a.
b a c SATISFIABLE
%%clingo -V0 0
1 { a; b } 1.
1 { b; c } 1 :- a.
%%clingo -V0 0
a :- not b.
b :- not c.
b SATISFIABLE
-:2:10-11: info: atom does not occur in any rule head: c
%%clingo -V0 0
1 { a } 1 :- { b } 0.
1 { b } 1 :- { c } 0.