p(b,1,0).
p(b,2,5).
p(b,3,9).