CONNIVER

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

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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in classic literature ?
'Is it not enough, my lord,' Mr Haredale continued, 'that I, as good a gentleman as you, must hold my property, such as it is, by a trick at which the state connives because of these hard laws; and that we may not teach our youth in schools the common principles of right and wrong; but must we be denounced and ridden by such men as this!
The guards should tow the line, and not connive with the prisoners),' he said.
For those who did not know already, the British establishment is rotten to the core, it is bred into them to lie and connive. The higher up the tree they climb, the more arrogant they become.