Structural operational semantics for Kernel Andorra Prolog

Seif Haridi; Catuscia Palamidessi

doi:10.1007/3-540-54152-7_68

Structural operational semantics for Kernel Andorra Prolog

Seif Haridi
, Catuscia Palamidessi

SICS
Centrum Wiskunde and Informatica
Universiteit Utrecht

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings
Editors	Martin Rem, Jan van Leeuwen, Emile H. L. Aarts
Publisher	Springer Verlag
Pages	238-253
Number of pages	16
ISBN (Print)	9783540541523
DOIs	https://doi.org/10.1007/3-540-54152-7_68
Publication status	Published - 1 Jan 1991
Externally published	Yes
Event	3rd International Conference on Parallel Architectures and Languages Europe, PARLE 1991 - Eindhoven, Netherlands Duration: 10 Jun 1991 → 13 Jun 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	506 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Parallel Architectures and Languages Europe, PARLE 1991
Country/Territory	Netherlands
City	Eindhoven
Period	10/06/91 → 13/06/91

Access to Document

10.1007/3-540-54152-7_68

Cite this

Haridi, S., & Palamidessi, C. (1991). Structural operational semantics for Kernel Andorra Prolog. In M. Rem, J. van Leeuwen, & E. H. L. Aarts (Eds.), PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings (pp. 238-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 506 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-54152-7_68

Haridi, Seif ; Palamidessi, Catuscia. / Structural operational semantics for Kernel Andorra Prolog. PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings. editor / Martin Rem ; Jan van Leeuwen ; Emile H. L. Aarts. Springer Verlag, 1991. pp. 238-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f472953e12bc4cac85f525a365519eba,

title = "Structural operational semantics for Kernel Andorra Prolog",

abstract = "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.",

author = "Seif Haridi and Catuscia Palamidessi",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 3rd International Conference on Parallel Architectures and Languages Europe, PARLE 1991 ; Conference date: 10-06-1991 Through 13-06-1991",

year = "1991",

month = jan,

day = "1",

doi = "10.1007/3-540-54152-7\_68",

language = "English",

isbn = "9783540541523",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "238--253",

editor = "Martin Rem and \{van Leeuwen\}, Jan and Aarts, \{Emile H. L.\}",

booktitle = "PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings",

}

Haridi, S & Palamidessi, C 1991, Structural operational semantics for Kernel Andorra Prolog. in M Rem, J van Leeuwen & EHL Aarts (eds), PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 506 LNCS, Springer Verlag, pp. 238-253, 3rd International Conference on Parallel Architectures and Languages Europe, PARLE 1991, Eindhoven, Netherlands, 10/06/91. https://doi.org/10.1007/3-540-54152-7_68

Structural operational semantics for Kernel Andorra Prolog. / Haridi, Seif; Palamidessi, Catuscia.
PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings. ed. / Martin Rem; Jan van Leeuwen; Emile H. L. Aarts. Springer Verlag, 1991. p. 238-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 506 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Haridi S, Palamidessi C. Structural operational semantics for Kernel Andorra Prolog. In Rem M, van Leeuwen J, Aarts EHL, editors, PARLE 1991 Parallel Architectures and Languages Europe - Parallel Languages, Proceedings. Springer Verlag. 1991. p. 238-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54152-7_68

Structural operational semantics for Kernel Andorra Prolog

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this