2 ms·> Hmmm... perhaps Prolog and Lisp? "when the proof search accidentally returns the trivial case"by paulmd 8y ago> Hmmm... perhaps Prolog and Lisp? "when the proof search accidentally returns the trivial case"