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.
2 posts
• Page 1 of 1
Lisp Propositional resolution : Implement a theorem in Lisp
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 .
- mistcse09
- Posts: 1
- Joined: Wed Oct 04, 2017 7:44 pm
Re: Lisp Propositional resolution : Implement a theorem in L
by nuntius » Thu Oct 05, 2017 8:03 pm
Please clarify your question. What exactly are you doing? Where are you getting stuck?
-
nuntius - Posts: 535
- Joined: Sat Aug 09, 2008 10:44 am
- Location: Newton, MA
2 posts
• Page 1 of 1
Who is online
Users browsing this forum: No registered users and 3 guests