fact(a,b).
fact(b,c).