Representing Propositional Logic Sentences in Prolog

A Demonstration of the Power of Logic Programming

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'.