6p :- not q.
    7q :- not p.
    8
    9
   10s(1) :- p.
   11s(2) :- p.
   12s(3) :- q.
   13
   14l(L) :- findall(V, s(V), L).
   15
   16
   17
   18?- l(L).   19?- p, l(L).   20
   21?- not