bev-a-tron/LogicPuzzleSolver

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

Prolog