Login
From:
simonvandevelde.be
(Uncensored)
subscribe
Layton Puzzle in IDP-Z3 | Simon Vandevelde Homepage
https://simonvandevelde.be/posts/Layton_Puzzle_in_IDP-Z3.html
links
backlinks
Roast topics
Find topics
Find it!
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.
