Page 1 of 1

Lisp Propositional resolution : Implement a theorem in Lisp

Posted: Wed Oct 04, 2017 7:49 pm
by mistcse09
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 .

Re: Lisp Propositional resolution : Implement a theorem in L

Posted: Thu Oct 05, 2017 8:03 pm
by nuntius
Please clarify your question. What exactly are you doing? Where are you getting stuck?