ps: this book https://www.amazon.ca/Prolog-Programming-Artificial-Intellig...
I had it in the trading system for some time but I had to pull it out as I couldn't find a way to make its runtime deterministic enough. Most of the time it would be great and then on occasion I'd get 100 millisecond pauses:( I could never figure out if it was me doing something, the C bindings we were using or if Prolog just has a mind of its own:)
If anyone has any pointers on how to reason about the run time efficiency and performance of your prolog code I'd be willing to buy you a coffee!
Awesome book, can usually be found in any used university book store!
Came highly recommended by David Nolen on his blog. Appears to have a good section on CLP.
EDIT: And completely agree with you on "The Art of Prolog", I have that too and have read most of it. Need to get back to finishing that up some day ;)
Get dozens of book recommendations delivered straight to your inbox every Thursday.