Compiling extended concurrent prolog-single queue compilation-

Jiro Tanaka, Makoto Kishishita

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Extended Concurrent Prolog (ECP) [Fujitsu 85, Tanaka 85a] is an variant of Concurrent Prolog (CP) [Shapiro 83] with OR-parallel, set-abstraction and meta-inference features. In this paper, we describe the implementation of ECP “compiler” by showing how these extended features of ECP can be compiled to a Prolog program. Our ECP compiler has only one scheduling queue to which all the AND-related goals and all the OR-related clauses are enqueued. This scheduling method is designated “Single Queue Compilation.” This “Single Queue Compilation” makes it possible to handle all kinds of AND-relations and OR-relations in a uniform manner.

Original languageEnglish
Title of host publicationESOP 86 - European Symposium on Programming, Proceedings
EditorsReinhard Wilhelm, Bernard Robinet
PublisherSpringer-Verlag
Pages301-314
Number of pages14
ISBN (Print)9783540164425
DOIs
Publication statusPublished - 1986 Jan 1
Externally publishedYes
EventEuropean Symposium on Programming, ESOP 1986 - Saarbrucken, Germany
Duration: 1986 Mar 171986 Mar 19

Publication series

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

Conference

ConferenceEuropean Symposium on Programming, ESOP 1986
CountryGermany
CitySaarbrucken
Period86/3/1786/3/19

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Compiling extended concurrent prolog-single queue compilation-'. Together they form a unique fingerprint.

  • Cite this

    Tanaka, J., & Kishishita, M. (1986). Compiling extended concurrent prolog-single queue compilation-. In R. Wilhelm, & B. Robinet (Eds.), ESOP 86 - European Symposium on Programming, Proceedings (pp. 301-314). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 213 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-16442-1_23