(VAR X Y)
(RULES

min(X,0) -> X
min(s(X),s(Y)) -> min(X,Y)
quot(0,s(Y)) -> 0
quot(s(X),s(Y)) -> s(quot(min(X,Y),s(Y)))
log(s(0)) -> 0
log(s(s(X))) -> s(log(s(quot(X,s(s(0))))))


)