Hacker News Reader

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

Might help, instead of jumping straight into Prolog.

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

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