m:-get0(X),X>0,Y is-5/\X,put(Y),m.