Lisp program which finds solutions for arbitrary logical statements.