Propositional Inference and Satisfiability

Informatics 2D. Coursework 1: Propositional Inference and Satisfiability 9th February 2017 1 Introduction The objective of this assignment is to help you understand inference procedures using Propositional Logic. You will implement, use and evaluate the inference problems and their algorithms using Haskell. You should download the following file from the Inf2D coursework page: http://www.inf.ed.ac.uk/teaching/courses/inf2d/coursework/Inf2dAssignment1.tar.gz Use […]