% r1: a :- not b.
rule(r1). head(a,r1). pbl(b,r1).

% r2: b.
rule(r2). head(b,r2).

% r3: a.
rule(r3). head(a,r3).

% r1 < r2
pr(r1,r2).

