if anyone is interested:

https://2ro.co/post/768337188815536128

(EZ - a language for constraint logic programming)