PLANNER

C. Hewitt, MIT 1967

A language for writing theorem provers. It was never fully implemented. See microPLANNER.

"PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proceedings of IJCAI-69, Washington, DC, May 1969.

PLANNER-70

PLANNER-73

The original name of PLASMA.