This is a read-only archive of lispforum.com. The forum was locked to new users and posts and is preserved here as static HTML from a database snapshot taken on 2019-09-07.

Lisp Propositional resolution : Implement a theorem in Lisp

2 posts · 3847 views

mistcse09

#1 Thu Oct 05, 2017 2:49 am

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 Administrator

#2 Fri Oct 06, 2017 3:03 am

Re: Lisp Propositional resolution : Implement a theorem in L

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