plunder

n : goods or money obtained illegally [syn: {loot}, {booty}, {pillage},

{prize}, {swag}]

v 1: take illegally; of intellectual property: "This writer

plundered from famous authors" [syn: {loot}]

2: plunder after capture, as of a town [syn: {sack}]

3: steal goods; take as spoils; "During the earthquake people

looted the stores that were deserted by their owners"

[syn: {despoil}, {loot}, {reave}, {strip}, {rifle}, {ransack},

{pillage}, {foray}]

4: destroy and strip of its possession; "The soldiers raped the

beautiful country" [syn: {rape}, {despoil}, {violate}]

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