Search the Kids Internet
Encyclopedia > PLANNER
Article Content
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].
This article (or an earlier version of it) contains material from FOLDOC, used with permission.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|