Jump to content

Planner (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 62.98.140.140 (talk) at 06:44, 27 March 2002 (FOLDOC). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Planner_(programming_language)&oldid=437107"