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 .