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