A few days ago, I came across a post titled Solving a "Layton Puzzle" with Prolog, in which the author describes a Prolog implementation of a puzzle from one of the Professor Layton games.| simonvandevelde.be
In my previous blog post, I showed how we can solve a puzzle in the IDP-Z3 reasoning engine. | simonvandevelde.be
