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