p(1). p(2). p(3). p(4).

#sig a(p),b(p).

a(X) :- not b(X).
b(X) :- not a(X).

