dictionary help| PLANNER | computing dictionary |
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].
(03 Feb 2009)
planking, plankter, plankton, planktonic < Prev | Next > Planner-73, planning, planning period
Bookmark with:      | word visualiser | Go and visit our forums  |
