PLANNER


Meaning of PLANNER in English

A language for writing theorem prover s 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].

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.