A Distributed and Probabilistic Concurrent Constraint Programming Language