A language for writing theorem provers by Carl Hewitt <[email protected]> MIT 1967. Never fully implemented. CONNIVER
was an outgrowth of PLANNER
a subset. PLASMA
is a PLANNER-like system modelled on Actors
. See also POPLER
["PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969].