A subset of PLANNER, implemented in Lisp by GeraldSussman et al at MIT. Its important features were

goal-oriented, pattern-directed procedure invocation, an

embedded knowledge base, and automatic backtracking.