Conniver

n.

1.

One who connives.

CONNIVER - Artificial intelligence language for automatic theorem proving. An outgrowth of PLANNER, based on coroutines rather than backtracking. Allowed multiple database contexts with hypothetical assertions. ["The CONNIVER Reference Manual", D. McDermott & G.J. Sussman , AI Memo 259, MIT AI Lab, 1973].

Benedict Arnold, Brutus, Judas, Judas Iscariot, Machiavellian, Quisling, archtraitor, betrayer, cockatrice, coconspirator, conspirator, conspirer, counterplotter, double agent, double-crosser, double-dealer, exploiter, finagler, informer, intrigant, intriguer, machinator, maneuverer, operator, opportunist, plotter, quisling, rat, schemer, serpent, snake, timeserver, traitor, treasonist, trimmer, turncoat, wire-puller