minus(x,y,x-y).
:-minus(2,1,1).