Modeling symbolic puzzles

Can rephrase that as “I would like to become an expert Prolog programmer” :grinning:

Join the club. Prepare to have your mind blown, and to question the nature of reality, and to be (temporarily) stuck at expressing trivial matters sufficiently, repeatedly.

There’s lots of links at Useful Prolog references

Usual recommendation: Power of Prolog videos, because they’re excellent and inspiring.