Some CLP(FD) shenanigans with indexing predicates

Hello,
I’ve had this idea that I wanted to explore for a little while and today I wrote a little note with examples showing how little changes it takes to make length and nth work nicely with clp(fd) to handle some interesting queries:

Hope some of you find it interesting.

5 Likes