Full threadAnilm3·Really interesting, I wrote a logic puzzle solver in Prolog a long time ago while I was in uni, I just created a repo for anyone who wants to check it out. Unfortunately the documentation and comments are all in Spanish...https://github.com/Anilm3/Logic-Puzzle-SolverView on HN