/LogicPuzzleSolver

A Prolog program to solve logic puzzles of the LSAT kind.

Primary LanguageProlog

This is a Logic Puzzle Solver, because Beverly just learned about Prolog, and she's excited that it keeps track of true things for you.