Search found 1 match

by mistcse09
Wed Oct 04, 2017 7:49 pm
Forum: Homework
Topic: Lisp Propositional resolution : Implement a theorem in Lisp
Replies: 1
Views: 3989

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 .