One of the reasons I like Logic Programming is that in my region in Spain, propositional logic is a mandatory topic for all students (unlike programming, which was an optional thing). Later I learned that is not usually the case, even in other regions. Maybe if this topic was explained to high school students like it was my case, more people would feel comfortable in Logic Programming than today
I think you're doing Lord's work. And for folks who are interested in logic from a more general (non-programming) of view, I'm gonna immodestly plug my own article: https://blog.coredump.cx/p/all-logic-no-bite . I always felt that there's a bit of a disconnect between how logic is typically introduced in programming, how it's used for the foundations of mathematics, and how we think about day to day, so I tried to bridge that gap.
Full disclosure that Hillel Wayne is my friend. That said, his new book is insanely good and I can't wait to read more of it. I've already recommended it to several colleagues. Personally, it feels worth praising its orientation towards the everyday practitioner and the ways in which it bridges certain aspects of theory with useful practice.
When we speak of predicate calculus I have to bring upDijkstra's wonderful book 'Predicate Calculus and Program Semantics,' which I read twenty years ago now and still remember with pleasure.
aarroyoc | 5 days ago
One of the reasons I like Logic Programming is that in my region in Spain, propositional logic is a mandatory topic for all students (unlike programming, which was an optional thing). Later I learned that is not usually the case, even in other regions. Maybe if this topic was explained to high school students like it was my case, more people would feel comfortable in Logic Programming than today
lettuce | 5 days ago
Which region of Spain is that?
aarroyoc | 5 days ago
Castile and León
lcamtuf | 5 days ago
I think you're doing Lord's work. And for folks who are interested in logic from a more general (non-programming) of view, I'm gonna immodestly plug my own article: https://blog.coredump.cx/p/all-logic-no-bite . I always felt that there's a bit of a disconnect between how logic is typically introduced in programming, how it's used for the foundations of mathematics, and how we think about day to day, so I tried to bridge that gap.
yonkeltron | 5 days ago
Full disclosure that Hillel Wayne is my friend. That said, his new book is insanely good and I can't wait to read more of it. I've already recommended it to several colleagues. Personally, it feels worth praising its orientation towards the everyday practitioner and the ways in which it bridges certain aspects of theory with useful practice.
madhadron | 5 days ago
When we speak of predicate calculus I have to bring upDijkstra's wonderful book 'Predicate Calculus and Program Semantics,' which I read twenty years ago now and still remember with pleasure.