A parallel implementation model of HPARLOG

Heyan Huang

doi:10.1007/BF02943306

A parallel implementation model of HPARLOG

Heyan Huang^*

^*Corresponding author for this work

CAS - Institute of Computing Technology

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper, a new parallel logic programming language-HPARLOG developed by us is described, and a new scheme for the AND-parallelism implementation in logic programming language is proposed. This scheme not only resolves the instantiation conflict on sharing-variables, thoroughly explores the parallelism of the programs with incrementally constructed data structure, but also decreases the dynamic complexity of the programs. In addition, a pseudo-copy based memory management scheme to enhance the locality of goal processes and lower the overhead of program execution is proposed.

Original language	English
Pages (from-to)	27-38
Number of pages	12
Journal	Journal of Computer Science and Technology
Volume	1
Issue number	4
DOIs	https://doi.org/10.1007/BF02943306
Publication status	Published - Dec 1986
Externally published	Yes

Access to Document

10.1007/BF02943306

Cite this

@article{528bfdacaf7349d7abf5bceb7de7bdaf,

title = "A parallel implementation model of HPARLOG",

abstract = "In this paper, a new parallel logic programming language-HPARLOG developed by us is described, and a new scheme for the AND-parallelism implementation in logic programming language is proposed. This scheme not only resolves the instantiation conflict on sharing-variables, thoroughly explores the parallelism of the programs with incrementally constructed data structure, but also decreases the dynamic complexity of the programs. In addition, a pseudo-copy based memory management scheme to enhance the locality of goal processes and lower the overhead of program execution is proposed.",

author = "Heyan Huang",

year = "1986",

month = dec,

doi = "10.1007/BF02943306",

language = "English",

volume = "1",

pages = "27--38",

journal = "Journal of Computer Science and Technology",

issn = "1000-9000",

publisher = "Springer New York",

number = "4",

}

TY - JOUR

T1 - A parallel implementation model of HPARLOG

AU - Huang, Heyan

PY - 1986/12

Y1 - 1986/12

N2 - In this paper, a new parallel logic programming language-HPARLOG developed by us is described, and a new scheme for the AND-parallelism implementation in logic programming language is proposed. This scheme not only resolves the instantiation conflict on sharing-variables, thoroughly explores the parallelism of the programs with incrementally constructed data structure, but also decreases the dynamic complexity of the programs. In addition, a pseudo-copy based memory management scheme to enhance the locality of goal processes and lower the overhead of program execution is proposed.

AB - In this paper, a new parallel logic programming language-HPARLOG developed by us is described, and a new scheme for the AND-parallelism implementation in logic programming language is proposed. This scheme not only resolves the instantiation conflict on sharing-variables, thoroughly explores the parallelism of the programs with incrementally constructed data structure, but also decreases the dynamic complexity of the programs. In addition, a pseudo-copy based memory management scheme to enhance the locality of goal processes and lower the overhead of program execution is proposed.

UR - https://www.scopus.com/pages/publications/52449147218

U2 - 10.1007/BF02943306

DO - 10.1007/BF02943306

M3 - Article

AN - SCOPUS:52449147218

SN - 1000-9000

VL - 1

SP - 27

EP - 38

JO - Journal of Computer Science and Technology

JF - Journal of Computer Science and Technology

IS - 4

ER -

A parallel implementation model of HPARLOG

Abstract

Access to Document

Other files and links

Fingerprint

Cite this