[icebraining]

Oh, we used the Art of Prolog in my sw engineering course. It's a good book, although it doesn't cover the newer features of Prolog interpreters, like Constraint Logic Programming, IIRC.

[abhirag]

Thanks for the review, I have my eyes set on The Reasoned Schemer(https://mitpress.mit.edu/books/reasoned-schemer-second-editi...) if I ever feel like learning more about logic programming, maybe after that I can give The Art of Prolog a go :)

[agumonkey]

are there standard or near standard books about new topics in Logic Programming ?

[icebraining]

I don't know, but there's a recommendation here: https://news.ycombinator.com/item?id=869042

[agumonkey]

side note: found a book about geometry in prolog https://link.springer.com/chapter/10.1007/978-4-431-68036-9_...