Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
PLANNER
Jump to user comments
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.