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].Last updated: 1995-01-10
Nearby terms:
connection-oriented network service ♦ connective ♦ connector conspiracy ♦ CONNIVER ♦ Co-NP ♦ CONS ♦ cons
Try this search on Wikipedia, Wiktionary, Google, OneLook.
