psb(a,b,2).
psb(a,c,4).
psb(a,d,5).
psb(b,c,3).
psb(b,d,1).
psb(c,d,2).

basic(d,10).

prolfc(a,3).
prolfc(b,2).
prolfc(c,1).
prolfc(d,0).