Independence in dynamically scheduled logic languages

Maria Jose Garcia De La Banda; Manuel Hermenegildo; Kimbal George Marriott

doi:10.1007/3-540-61735-3_3

Independence in dynamically scheduled logic languages

Maria Jose Garcia De La Banda, Manuel Hermenegildo, Kimbal George Marriott

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

1 Citation (Scopus)

Abstract

The notion of independence has been used in conventional logic programming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we extend this notion to logic programming languages with dynamic scheduling. This type of scheduling, in which some calls are dynamically “delayed” until their arguments are sufficiently instantiated, is provided in most practical implementations because it offers advantages for both programming power and declarativeness. We focus on the notion of independence required for ensuring correctness and efficiency of parallelization within the independent and-parallel model. We also provide sufficient conditions for independence which can be evaluated “a-priori” (i.e., at run-time), as is needed in many practical applications.

Original language	English
Title of host publication	Algebraic and Logic Programming
Subtitle of host publication	5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings
Editors	Michael Hanus, Mario Rodrfguez-Artalejo
Place of Publication	Berlin Germany
Publisher	Springer
Pages	47-61
Number of pages	15
ISBN (Print)	3540617353
DOIs	https://doi.org/10.1007/3-540-61735-3_3
Publication status	Published - 1996
Event	International Conference on Algebraic and Logic Programming 1996 - Aachen, Germany Duration: 25 Sep 1996 → 27 Sep 1996 Conference number: 5th https://link.springer.com/book/10.1007/3-540-61735-3 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1139
ISSN (Print)	0302-9743

Conference

Conference	International Conference on Algebraic and Logic Programming 1996
Abbreviated title	ALP 1996
Country/Territory	Germany
City	Aachen
Period	25/09/96 → 27/09/96
Internet address	https://link.springer.com/book/10.1007/3-540-61735-3 (Proceedings)

Access to Document

10.1007/3-540-61735-3_3

Cite this

Garcia De La Banda, M. J., Hermenegildo, M., & Marriott, K. G. (1996). Independence in dynamically scheduled logic languages. In M. Hanus, & M. Rodrfguez-Artalejo (Eds.), Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings (pp. 47-61). (Lecture Notes in Computer Science; Vol. 1139). Springer. https://doi.org/10.1007/3-540-61735-3_3

Garcia De La Banda, Maria Jose ; Hermenegildo, Manuel ; Marriott, Kimbal George. / Independence in dynamically scheduled logic languages. Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings . editor / Michael Hanus ; Mario Rodrfguez-Artalejo. Berlin Germany : Springer, 1996. pp. 47-61 (Lecture Notes in Computer Science).

@inproceedings{58bf11168c3d473a961b3bba46c7520b,

title = "Independence in dynamically scheduled logic languages",

abstract = "The notion of independence has been used in conventional logic programming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we extend this notion to logic programming languages with dynamic scheduling. This type of scheduling, in which some calls are dynamically “delayed” until their arguments are sufficiently instantiated, is provided in most practical implementations because it offers advantages for both programming power and declarativeness. We focus on the notion of independence required for ensuring correctness and efficiency of parallelization within the independent and-parallel model. We also provide sufficient conditions for independence which can be evaluated “a-priori” (i.e., at run-time), as is needed in many practical applications.",

author = "{Garcia De La Banda}, {Maria Jose} and Manuel Hermenegildo and Marriott, {Kimbal George}",

year = "1996",

doi = "10.1007/3-540-61735-3_3",

language = "English",

isbn = "3540617353",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "47--61",

editor = "Michael Hanus and Mario Rodrfguez-Artalejo",

booktitle = "Algebraic and Logic Programming",

note = "International Conference on Algebraic and Logic Programming 1996, ALP 1996 ; Conference date: 25-09-1996 Through 27-09-1996",

url = "https://link.springer.com/book/10.1007/3-540-61735-3",

}

Garcia De La Banda, MJ, Hermenegildo, M & Marriott, KG 1996, Independence in dynamically scheduled logic languages. in M Hanus & M Rodrfguez-Artalejo (eds), Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings . Lecture Notes in Computer Science, vol. 1139, Springer, Berlin Germany, pp. 47-61, International Conference on Algebraic and Logic Programming 1996, Aachen, North Rhine-Westphalia, Germany, 25/09/96. https://doi.org/10.1007/3-540-61735-3_3

Independence in dynamically scheduled logic languages. / Garcia De La Banda, Maria Jose; Hermenegildo, Manuel; Marriott, Kimbal George.

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings . ed. / Michael Hanus; Mario Rodrfguez-Artalejo. Berlin Germany : Springer, 1996. p. 47-61 (Lecture Notes in Computer Science; Vol. 1139).

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

TY - GEN

T1 - Independence in dynamically scheduled logic languages

AU - Garcia De La Banda, Maria Jose

AU - Hermenegildo, Manuel

AU - Marriott, Kimbal George

N1 - Conference code: 5th

PY - 1996

Y1 - 1996

N2 - The notion of independence has been used in conventional logic programming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we extend this notion to logic programming languages with dynamic scheduling. This type of scheduling, in which some calls are dynamically “delayed” until their arguments are sufficiently instantiated, is provided in most practical implementations because it offers advantages for both programming power and declarativeness. We focus on the notion of independence required for ensuring correctness and efficiency of parallelization within the independent and-parallel model. We also provide sufficient conditions for independence which can be evaluated “a-priori” (i.e., at run-time), as is needed in many practical applications.

AB - The notion of independence has been used in conventional logic programming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we extend this notion to logic programming languages with dynamic scheduling. This type of scheduling, in which some calls are dynamically “delayed” until their arguments are sufficiently instantiated, is provided in most practical implementations because it offers advantages for both programming power and declarativeness. We focus on the notion of independence required for ensuring correctness and efficiency of parallelization within the independent and-parallel model. We also provide sufficient conditions for independence which can be evaluated “a-priori” (i.e., at run-time), as is needed in many practical applications.

U2 - 10.1007/3-540-61735-3_3

DO - 10.1007/3-540-61735-3_3

M3 - Conference Paper

SN - 3540617353

T3 - Lecture Notes in Computer Science

SP - 47

EP - 61

BT - Algebraic and Logic Programming

A2 - Hanus, Michael

A2 - Rodrfguez-Artalejo, Mario

PB - Springer

CY - Berlin Germany

T2 - International Conference on Algebraic and Logic Programming 1996

Y2 - 25 September 1996 through 27 September 1996

ER -

Garcia De La Banda MJ, Hermenegildo M, Marriott KG. Independence in dynamically scheduled logic languages. In Hanus M, Rodrfguez-Artalejo M, editors, Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings . Berlin Germany: Springer. 1996. p. 47-61. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-61735-3_3