For those looking to gentle introduction to logic programming, Tarski's World wa... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pjmlp on Dec 5, 2017 | parent | context | favorite | on: Introduction to logic programming with Prolog

For those looking to gentle introduction to logic programming, Tarski's World was a very good book.

https://ggweb.gradegrinder.net/tarskisworld

https://web.stanford.edu/group/cslipublications/cslipublicat...

Might help, instead of jumping straight into Prolog.

agumonkey on Dec 5, 2017 [–]

oh you reminded me of a program we used in college named the same. It was about model theory and valid logic clauses (blurry memories)..

telekid on Dec 5, 2017 | [–]

Yep, showed up in a First Order Logic course for me. IIRC, it was bundled with a book?

Edit - this one: https://web.stanford.edu/group/cslipublications/cslipublicat...

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact