PLANNER

PLANNER was to be a programming language for writing theorem provers. Developed by Carl Hewitt at MIT from 1967, it was never fully implemented.

CONNIVER was an outgrowth of PLANNER and microPLANNER a subset. PLASMA is a PLANNER-like system modelled on Actors.

See also: POPLER, QLISP, Scheme

Reference

"PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969

This article was originally based on material from the Free On-line Dictionary of Computing, which is used under the GFDL.

Retrieved from "http://www.mywiseowl.com/articles/PLANNER"

This page has been accessed 144 times. This page was last modified 03:16, 23 Aug 2004. All text is available under the terms of the GNU Free Documentation License (see Copyrights for details).