TY - GEN
T1 - Structural operational semantics for Kernel Andorra Prolog
AU - Haridi, Seif
AU - Palamidessi, Catuscia
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991/1/1
Y1 - 1991/1/1
N2 - Kernel Andorra Prolog is a framework for nondeterministic concurrent constraint logic programming languages. Many languages, such as Prolog, GHC, Parlog, and Atomic Herbrand, can be seen as instances of this framework, by adding specific constraint systems and constraint operations, and optionally by imposing further restrictions on the language and the control of the computation model. We systematically revisit the description in Haridi and Jarison [HJ90], adding the formal machinery which is necessary in order to completely formalize the control of the computation model. To this we add a formal description of the transformational semantics of Kernel Andorra Prolog. The semantics of Kernel Andorra Prolog is a set of or-trees which also captures infinite computations.
AB - Kernel Andorra Prolog is a framework for nondeterministic concurrent constraint logic programming languages. Many languages, such as Prolog, GHC, Parlog, and Atomic Herbrand, can be seen as instances of this framework, by adding specific constraint systems and constraint operations, and optionally by imposing further restrictions on the language and the control of the computation model. We systematically revisit the description in Haridi and Jarison [HJ90], adding the formal machinery which is necessary in order to completely formalize the control of the computation model. To this we add a formal description of the transformational semantics of Kernel Andorra Prolog. The semantics of Kernel Andorra Prolog is a set of or-trees which also captures infinite computations.
U2 - 10.1007/3-540-54152-7_68
DO - 10.1007/3-540-54152-7_68
M3 - Conference contribution
AN - SCOPUS:85035798960
SN - 9783540541523
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 238
EP - 253
BT - PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings
A2 - Rem, Martin
A2 - van Leeuwen, Jan
A2 - Aarts, Emile H. L.
PB - Springer Verlag
T2 - 3rd International Conference on Parallel Architectures and Languages Europe, PARLE 1991
Y2 - 10 June 1991 through 13 June 1991
ER -