1% false.
    2% no answer set
    3a :- not b.
    4b :- not a.
    5c :- not d.
    6d :- not c.
    7:- a, d.    8:- a, c.    9:- b, c.   10:- b, d.