A language for writing theorem provers bYCarl HewittMIT 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].