CCP

Concurrent Constraint Programming

Not a specific language, but a general approach.