A subset of planner, implemented in lisp by gerald sussman et al at mit. Its important features were goal-oriented, pattern-directed procedure invocation, an embedded knowledge base, and automatic backtracking.

microPLANNER was superseded by conniver.

["microPLANNER Reference Manual", G.J. Sussman et al, AI Memo 203, MIT AI Lab, 1970].