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.
aarroyoc | 9 hours 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 | 3 hours ago
Which region of Spain is that?
lcamtuf | 2 hours 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.