Concurrent Constraint Programming

In the last years there have been several proposals to extend logic programming with the constructs for concurrency, aiming at the development of a concurrent language which would maintain the typical advantages of logic programming: declarative reading, computations as proofs, amenability to metaprogramming etc. Examples of concurrent logic languages include PARLOG [6], Concurrent Prolog [12], Guarded Horn Clauses [15] and their so-called flat versions.