CCP

Concurrent Constraint Programming

Not a language, but a general approach.