Representing Propositional Logic Sentences in Prolog

Perhaps helpful for MATH 240 students

September 20, 2016

Many problems in propositional logic can be solved by evaluating the logical sentences involved. Logic programming languages, such as Prolog, are ideally suited for automating logical evaluation. Combined with metaprogramming, we can easily define a mathematical syntax for entering logical sentences, and create a simple truth table generator and 'decider'.