Lisp Propositional resolution : Implement a theorem in Lisp

You have problems, and we're glad to hear them. Explain the problem, what you have tried, and where you got stuck.
Feel free to share a little info on yourself and the course.
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.
Post Reply
mistcse09
Posts: 1
Joined: Wed Oct 04, 2017 7:44 pm

Lisp Propositional resolution : Implement a theorem in Lisp

Post by mistcse09 » 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 .

nuntius
Posts: 538
Joined: Sat Aug 09, 2008 10:44 am
Location: Newton, MA

Re: Lisp Propositional resolution : Implement a theorem in L

Post by nuntius » Thu Oct 05, 2017 8:03 pm

Please clarify your question. What exactly are you doing? Where are you getting stuck?

Post Reply