Sudoku is probably one of the most well-known logic games of all time.| simonvandevelde.be
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
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming...| buttondown.com