Introduction
Teaching a computer to solve logic problems is worthwhile.
Logic Solvers
Creating and using a logic statement solver. (Prolog)
Teaching a computer to solve logic problems is worthwhile.
Details and links for using the Prolog language.