Two fun ways to solve a logic puzzle

Prolog and the z3 theorem prover are reliable ways to solve a logic puzzle