3 ms·
Hillel Wayne is working on a Logic for Programmers book [0] that might be what you're looking for. [0] https://leanpub.com/logic https://leanpub.com/logic
by sn9 2y ago
Hillel Wayne is working on a Logic for Programmers book [0] that might be what you're looking for.
[0] https://leanpub.com/logic https://leanpub.com/logic
- hwayne 2y agoThe chapters on both constraint solvers and logic programming are pretty short overviews, we're talking less than 15 pages. I wouldn't recommend it if that's what you're specifically interested in. For SAT/SMT in Python, I've heard this book is pretty good: https://theory.stanford.edu/~nikolaj/programmingz3.html https://theory.stanford.edu/~nikolaj/programmingz3.html. Google OR-tools has a Python frontend and they have interactive tutorials (https://developers.google.com/optimization/examples https://developers.google.com/optimization/examples). I don't know about logic programming in Python. Note that while there's some overlap between logic programming and constraint solving ([1] [2]), the communities are pretty independent from each other. Different histories, tools, techniques, etc. [1]: https://www.swi-prolog.org/pldoc/man?section=clpfd https://www.swi-prolog.org/pldoc/man?section=clpfd [2]: http://picat-lang.org/picatbook2015.html http://picat-lang.org/picatbook2015.html