Search found 1 match
- Wed Oct 04, 2017 7:49 pm
- Forum: Homework
- Topic: Lisp Propositional resolution : Implement a theorem in Lisp
- Replies: 1
- Views: 17777
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 .