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].