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].
(1995-01-10)