Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?


share|improve this question
Community Wiki! –  anonymous Sep 5 '10 at 2:39
add comment

2 Answers

Introduction to Logic: Predicate Logic by Pospesel is the text probably most frequently associated with the topic for introductory students from a purely academic perspective.

If you really want to code in languages that are based around predicate logic (logic programming is the more formal term), there are a few options:

  • Prolog is easily the best known and without a doubt the best documented logic programming language
  • Oz is a lesser known alternative that incorporates a number of more modern programming language features like concurrency and object orientation (modern Prolog implementations typically add some of these to the language, but it never seems a natural fit to the language)
  • Castor is a fairly common library for C++ that builds a logic model within the syntax of C++
share|improve this answer
Curry is another option if you are interested in logic programming. It's an integrated logic and (pure) functional programming language. –  danportin Apr 9 '11 at 11:23
add comment

There are lots of good books on symbolic logic, Understanding Symbolic Logic being one.

However, there aren't many of them using a "programming" approach, Haskell Road to Logic, Maths, and programming being such a gem.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.