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