TY - GEN
T1 - Compiling extended concurrent prolog-single queue compilation-
AU - Tanaka, Jiro
AU - Kishishita, Makoto
N1 - Publisher Copyright:
© 1986. Springer Verlag, All rights reserved.
PY - 1986
Y1 - 1986
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85036611278&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85036611278&partnerID=8YFLogxK
U2 - 10.1007/3-540-16442-1_23
DO - 10.1007/3-540-16442-1_23
M3 - Conference contribution
AN - SCOPUS:85036611278
SN - 9783540164425
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 301
EP - 314
BT - ESOP 86 - European Symposium on Programming, Proceedings
A2 - Wilhelm, Reinhard
A2 - Robinet, Bernard
PB - Springer Verlag
T2 - European Symposium on Programming, ESOP 1986
Y2 - 17 March 1986 through 19 March 1986
ER -