Lisp Propositional resolution : Implement a theorem in Lisp
Forum rules
Please respect your teacher's guidelines. Homework is a learning tool. If we just post answers, we aren't actually helping. When you post questions, be sure to show what you have tried or what you don't understand.
Please respect your teacher's guidelines. Homework is a learning tool. If we just post answers, we aren't actually helping. When you post questions, be sure to show what you have tried or what you don't understand.
Lisp Propositional resolution : Implement a theorem in Lisp
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
Please clarify your question. What exactly are you doing? Where are you getting stuck?