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