undefined | Better HN

0 pointsicebraining7y ago0 comments

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.

0 comments

abhirag7y ago

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 :)

agumonkey7y ago

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

icebrainingOP7y ago

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

agumonkey7y ago

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

j / k navigate · click thread line to collapse

0 pointsicebraining7y ago0 comments

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.

0 comments

abhirag7y ago

agumonkey7y ago

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

icebrainingOP7y ago

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

agumonkey7y ago

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

j / k navigate · click thread line to collapse