Artificial intelligence language for automatic theorem proving . An outgrowth of PLANNER , based on coroutine s 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].
(1995-01-10)