Logic for problem solving
2mentions
1recommended by
2HN commenters
2013–2015first – last mentioned
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…it is possible to understand Prolog without first understanding how symbolic logic works. My recommendation for someone who is interested in learning how to program in Prolog is to start by reading “Logic for Problem Solving” by Robert Kowalski: http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... I am currently about halfway through an earlier edition of this book, and it is the first book I have found that…
on “Prolog Programming Language (1997)” ↗…can about automated theorem proving. A key paper is Robinson's 1965 paper "A Machine-Oriented Logic Based on the Resolution Principle". It uses quite different notations compared to, say, Kowalski's "Logic for Problem Solving". Robinson made an important contribution, but his work is like the assembly language of logic. Modern papers are much higher level. Kowalski's book is 1979, so its like C. My new domain map made these…
on “How to implement an algorithm from a scientific paper” ↗