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

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Charles V, Holy Roman Emperor

... coast posed a threat to Hapsburg lands and the peace of Western Europe. In 1535 Charles won an important victory at Tunis, but in 1536 Francis I of Spain allied ...

 
 
 
This page was created in 66 ms