Hewitt, Carl "Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot" MIT AITR-258 April 1972

Languages mentioned

• PLANNER {1967} Goal-direct LISP dialect