### Lisp Propositional resolution : Implement a theorem in Lisp

Posted:

**Wed Oct 04, 2017 7:49 pm**In a function , if two clauses are given as a input ,then how to resolve them together by applying the resolution rule? How to prove that contradiction has been found or not. Looking for LISP code .