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)