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 <[email protected]>, 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