A Crash Course in Predicate Logic

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