PLANNER

n. one who schemes, one who makes plans; yearly calendar, schedule book

Planner can refer to:The Planner programming languageThe Planner project management software for GNOMEPlanner (PIM for Emacs)An urban plannera route planner
See more at Wikipedia.org...

Noun
1. a person who makes plans
(synonym) contriver, deviser
(hypernym) person, individual, someone, somebody, mortal, human, soul
(hyponym) designer, intriguer
(derivation) design, plan
2. a notebook for recording appointments and things to be done, etc.
(hypernym) notebook, notebook computer
(derivation) plan

(n.)
One who plans; a projector.
  

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.
["PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969].