plunger

n 1: someone who risks losses for the possibility of considerable

gains [syn: {speculator}]

2: someone who gambles extravagantly

3: a part of a machine that has a plunging or thrusting motion

[syn: {piston}]

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