[will_byrd]

Here's another miniKanren-related livecode you might enjoy (both are thanks to Nada Amin's cool livecode.io tech!):

https://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp

[BoingBoomTschak]

Thanks. Personally, I'd love to see more like https://alex-hhh.github.io/2021/08/fish-puzzle.html

When I was in university, the usual Prolog example was solving a game of Cluedo.

[noisy_boy]

Is using miniKanren the only way to solve the fish-puzzle? If no, which language will be most ergonomic and accessible to solve it?