Induction machine of a named logic-mode (singly) recursive function.
(induction-machine fn wrld) → result
This is a list of
Note that induction is not directly supported for mutually recursive functions.
See induction-machine+ for an enhanced variant of this utility.
(defun induction-machine (fn wrld) (declare (xargs :guard (and (symbolp fn) (plist-worldp wrld)))) (let ((__function__ 'induction-machine)) (declare (ignorable __function__)) (getpropc fn 'induction-machine nil wrld)))