Prolog and the z3 theorem prover are reliable ways to solve a logic puzzle — This post shows you two programmatic ways to solve logic puzzles, one using the Prolog programming language and the other using the z3 Theorem Prover. In an earlier post, written almost exactly one year ago today, I brute force solved a simple logic puzzle in Python. In it I also…