CONNIVER

An AI language for automatic theorem proving. An outgrowth of PLANNER, based on coroutines rather than backtracking. It allowed multiple database contexts with hypothetical assertions.

"The CONNIVER Reference Manual", D. McDermott & G. J. Sussman, AI Memo 259, MIT AI Lab, 1973.