A language for writing theorEM provers by Carl 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].