true.
:-false.
a:-ap(1).
neg_a:-ap(2).
ap(1):-ok(1),not neg_a.
ap(2):-ok(2),b,not a.
ap(3):-ok(3),not neg_b.
ap(4):-ok(4),a,not b.
ok(X):-name(X),oko(X,1),oko(X,2),oko(X,3),oko(X,4).
bl(1):-ok(1),neg_a.
bl(2):-ok(2),not b.
bl(2):-ok(2),a.
bl(3):-ok(3),neg_b.
bl(4):-ok(4),not a.
bl(4):-ok(4),b.
b:-ap(3).
neg_b:-ap(4).
prec(1,2):-true.
prec(3,4):-true.
neg_prec(Y,X):-name(X),name(Y),prec(X,Y).
prec(X,Z):-name(X),name(Z),name(Y),prec(X,Y),prec(Y,Z).
oko(X,Y):-name(X),name(Y),not prec(X,Y).
oko(X,Y):-name(X),name(Y),prec(X,Y),ap(Y).
oko(X,Y):-name(X),name(Y),prec(X,Y),bl(Y).
false:-a,neg_a.
false:-b,neg_b.
false:-name(X),name(Y),prec(X,Y),neg_prec(X,Y).
name(4).
name(3).
name(2).
name(1).