I want a recursive subtraction program in prolog.
the scheme of the program is
(define (sub m n) (cond ((= n 0) m) (else (sub (- m 1) (- n 1))))) <