I'm trying to learn predicate logic.
And I'm looking for some good resources on it:
I've seen that I learn better when I can program So I was wondering if there was a 'predicate logic' programning language?
Maybe an interactive tutorial?
Maybe lots of examples, something like: Predicate Logic by Example?
Or at least some pretty basic books?