Logic programming is overrated, at least for logic puzzles (2013)
As pointed out in the comments in the article, these kinds of logic puzzles are easier to solve using constraint programming than &quot;regular&quot; logic programming.<p>For example, see the solution to the Zebra Puzzle here: <a href="https:&#x2F;&#x2F;www.metalevel.at&#x2F;prolog&#x2F;puzzles" rel="nofollow">https:&#x2F;&#x2F;www.metalevel.at&#x2F;prolog&#x2F;puzzles</a> which uses CLPZ[^1].<p>[^1]: <a href="https:&#x2F;&#x2F;github.com&#x2F;triska&#x2F;clpz">https:&#x2F;&#x2F;github.com&#x2F;triska&#x2F;clpz</a>