conniver
Webster's Dictionary (1913)
Con·niv′er noun
One who connives.
Webster’s Revised Unabridged Dictionary (1913), from GCIDE 0.54
Word of the day · Sep 29About this word
haphazardadjective
What does it mean? Question 1 of today’s quiz
Free On-line Dictionary of Computing
CONNIVER
<language> An artificial intelligence programming language for automatic theorem proving from MIT. CONNIVER grew out of PLANNER and was based on coroutines rather than backtracking. It 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].
(1995-01-10)