CONNIVER

(redirected from connive)
Also found in: Dictionary, Thesaurus, Legal, Idioms, Wikipedia.

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 <gjs@zurich.ai.mit.edu>, AI Memo 259, MIT AI Lab, 1973].
References in periodicals archive ?
Edward blusters and yells and connives, then Lila drops him in his tracks with a well-timed but ladylike, ``Oh, Edward, shut up
Along the way, Jake lies, connives and uses his charm to try to get home.
Rackstraw and Josephine plan to sneak away from the ship and get married, but the embittered seaman Dick Deadeye (the hilarious Gabriel Vega) connives to do what he can to thwart the lovers.
Their middle son, Geoffrey, (a skillful performance by Steven Harad) connives for what spoils he can get by playing one brother against the other.