Source : Webster's Revised Unabridged Dictionary (1913)

Conniver \Con*niv"er\, n.
   One who connives.

Source : Free On-Line Dictionary of Computing

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)