资料来源 : pyDict
计划者
资料来源 : Webster's Revised Unabridged Dictionary (1913)
Planner \Plan"ner\, n.
One who plans; a projector.
资料来源 : WordNet®
planner
n 1: a person who makes plans [syn: {contriver}, {deviser}]
2: a notebook for recording appointments and things to be done,
etc.
资料来源 : Free On-Line Dictionary of Computing
PLANNER
A language for writing {theorem prover}s by {Carl Hewitt}
{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].