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].
| < 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 |
