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 sol

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-paradigms https://codon.com/hello-declarative-world#programming-paradi...