p(b1,1,2).
p(b1,1,3).
p(b1,1,4).
p(b2,2,4).
p(b3,3,6).
p(b4,4,8).