We'll see what comes of it! I've gotten a bit of flack over the weekend and don't have a discourse account for that group, would you mind posting a couple of clarifying notes? Thanks:
I've been trying to make my newsletter more off-the-cuff and scope each post to much less time, so I ended up being pretty sloppy with the technical aspects! For example, saying rules "return true or false" or that cuts "can lead to invalid programs" (when I meant it could fail to find all valid solutions). I'm being a lot more careful in the book.
Logic Programming is only about 6% of Logic for Programmers. Most of the book is about more mundane topics like property testing and database constraints and such.
For every gripe I have about Prolog I have six gripes about TLA+ and Alloy. Hate Your Tools!
We'll see what comes of it! I've gotten a bit of flack over the weekend and don't have a discourse account for that group, would you mind posting a couple of clarifying notes? Thanks: