Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have