| n. | 1. | One who plans; a projector. |
| Noun | 1. | planner - a person who makes plans |
| 2. | planner - a notebook for recording appointments and things to be done, etc. |
| PLANNER - A language for writing theorem provers by Carl Hewitt
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]. |
About this site and copyright information - Online Dictionary Home