Introduces programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer an approach for treating issues in the semantics of concurrent, nondeterministic programming languages.