CONNIVER
{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
, AI Memo 259, MIT AI Lab, 1973].
(1995-01-10)