[tobmlt]

In case anybody is reading this post and wants an idea of how to get started with the basics of logic programming (upon which one might build toy constraint solvers) I recommend this:

https://codon.com/hello-declarative-world#programming-paradi...