PLANNER
A language for writing theorem provers by Carl Hewitt
<hewitt@ai.mit.edu> 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].
Nearby terms:
plan file « PLANIT « Plankalkül « PLANNER »
Planner-73 » PLANS » plants
|