clanger

n : (British) a conspicuous mistake whose effects seem to

reverberate; "he dropped a clanger"

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