PLANNER

A language for writing theorem provers by Carl Hewitt <[email protected]> MIT 1967.

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.

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

< Previous Terms	Terms Containing PLANNER	Next Terms >
Plan 9 Planet plan file PLANIT Plankalkül	Colossus CONNIVER data warehouse MDL microPLANNER	Planner-73 PLANS plants PLASMA Plastic Pin Grid Array