TY - GEN
T1 - Concurrent constraint programming
AU - Palamidessi, Catuscia
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994/1/1
Y1 - 1994/1/1
N2 - 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 meta programming etc. Examples of concurrent logic languages include PARLOG [6], Concurrent Prolog [12], Guarded Horn Clauses [15] and their so-called fiat versions.
AB - 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 meta programming etc. Examples of concurrent logic languages include PARLOG [6], Concurrent Prolog [12], Guarded Horn Clauses [15] and their so-called fiat versions.
U2 - 10.1007/3-540-58402-1_1
DO - 10.1007/3-540-58402-1_1
M3 - Conference contribution
AN - SCOPUS:85020810045
SN - 9783540584025
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 2
BT - Programming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94, Proceedings
A2 - Hermenegildo, Manuel
A2 - Penjam, Jaan
PB - Springer Verlag
T2 - 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1994
Y2 - 14 September 1994 through 16 September 1994
ER -