CCP
Concurrent Constraint Programming
Not a language, but a general approach.