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.

Lisp Propositional resolution : Implement a theorem in Lisp

Postby 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 .
mistcse09
 
Posts: 1
Joined: Wed Oct 04, 2017 7:44 pm

Re: Lisp Propositional resolution : Implement a theorem in L

Postby nuntius » Thu Oct 05, 2017 8:03 pm

Please clarify your question. What exactly are you doing? Where are you getting stuck?
User avatar
nuntius
 
Posts: 530
Joined: Sat Aug 09, 2008 10:44 am
Location: Newton, MA


Return to Homework

Who is online

Users browsing this forum: No registered users and 3 guests

cron