Constraint & Logic Programming

[Trinithis]

I'm interested in learning a constraint and/or logic programming language. (From what I can tell, they appear to be similar.)

Any suggestions on what language I should pick as well as good tutorials for it?

[Twey]

The most widely-used constraint logic language is Prolog. You can find a tutorial here.

If you want to differ from the norm a bit, though, Oz looks very interesting.

You could also look at Common Lisp with the Cells package, which implements declarative constraint programming within CL.

[Trinithis]

Alrighty. Just to make sure, are regular expressions constraint based constructs?

Also, out of curiosity, what are some of the "bigger" programming paradigms are there to learn?