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].
| < Previous Terms | Terms Containing CONNIVER | Next Terms > |
| Connection Machine LISP connection-oriented connection-oriented network service connective connector conspiracy | CONNIVER microPLANNER PLANNER Scheme | Co-NP CONS cons conservative evaluation considered harmful |
