Hewitt, Carl "Development and Theoretical Analysis (using Schemata) of PLANNER, A Language for Proving Theorems and Manipulating Models in a Robot" PhD Thesis MIT 1972

Languages mentioned

• PLANNER {1967} Goal-direct LISP dialect