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