The deevolution of concurrent logic programming languages

This article surveys the field of implementation of concurrent logic programming languages. I briefly review language semantics and programming paradigms, before summarizing the results of the past decade in compiler and runtime system implementation. A theme throughout the research presented is the...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The journal of logic programming Ročník 23; číslo 2; s. 89 - 123
Hlavní autor: Tick, E.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New-York, NY Elsevier Inc 01.05.1995
Elsevier
Témata:
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Programming languages
Software
Software engineering
Compiler
Logical programming
Programming language
Concurrent program
Semantics
Implementation
ISSN:0743-1066, 1873-5789
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract This article surveys the field of implementation of concurrent logic programming languages. I briefly review language semantics and programming paradigms, before summarizing the results of the past decade in compiler and runtime system implementation. A theme throughout the research presented is the deevolution of concurrent logic programming languages due to the limitations of what systems designers and compiler writers can efficiently implement, as well as the growing perception among programmers that reduced expressivity is sufficient.
AbstractList This article surveys the field of implementation of concurrent logic programming languages. I briefly review language semantics and programming paradigms, before summarizing the results of the past decade in compiler and runtime system implementation. A theme throughout the research presented is the deevolution of concurrent logic programming languages due to the limitations of what systems designers and compiler writers can efficiently implement, as well as the growing perception among programmers that reduced expressivity is sufficient.
Author Tick, E.
Author_xml – sequence: 1
  givenname: E.
  surname: Tick
  fullname: Tick, E.
  organization: Department of Computer Science, University of Oregon, Eugene, OR 97403 USA
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=3534804$$DView record in Pascal Francis
BookMark eNqFkL1OwzAURi1UJNrCGzBkYIAhYNdOHDMgoYo_qRJLmS33-iYYpXZlp5V4exIKDAww3eWcT7pnQkY-eCTklNFLRll5RaXgOaNlea7EBaWUV3l1QMaskjwvZKVGZPyDHJFJSm89xBgrxkQtXzGziLvQbjsXfBbqDIKHbYzou6wNjYNsE0MTzXrtfJO1xjdb02A6Joe1aROefN0pebm_W84f88Xzw9P8dpEDV6rLoS4tKxjOgM9oLVRhoTbFSgGXhimxAiNXtgLB0Fo2k6hKLIAaCVLOjKoMn5Kz_e7GJDBtHY0Hl_QmurWJ75oXXFRU9Nj1HoMYUopYa3CdGV7qonGtZlQPrfQQQg8htBL6s5Wueln8kr_n_9Fu9hr2_-8cRp3AoQe0LiJ02gb398AHBhSDDg
CODEN JLPRE2
CitedBy_id crossref_primary_10_1145_3386333
crossref_primary_10_1145_504083_504085
crossref_primary_10_1007_BF03037485
crossref_primary_10_1016_j_scico_2017_06_002
crossref_primary_10_1016_S0096_0551_01_00008_X
crossref_primary_10_1016_S1571_0661_04_00115_X
crossref_primary_10_1016_S0743_1066_98_10022_5
crossref_primary_10_1017_S1471068422000059
crossref_primary_10_1109_71_969127
crossref_primary_10_1002_spe_594
Cites_doi 10.1145/69558.69562
10.1007/BF03037945
10.1006/inco.1994.1004
10.1016/0167-739X(93)90005-A
10.1007/BF01379097
10.1007/BF03038307
10.1007/BF03037448
10.1145/177492.177612
10.1145/5001.5390
10.1016/0743-1066(85)90003-2
10.1145/72551.72555
10.2172/10133018
10.1007/BF03037179
10.1109/71.243529
ContentType Journal Article
Copyright 1995
1995 INIST-CNRS
Copyright_xml – notice: 1995
– notice: 1995 INIST-CNRS
DBID 6I.
AAFTH
AAYXX
CITATION
IQODW
DOI 10.1016/0743-1066(94)00038-8
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
Pascal-Francis
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
EISSN 1873-5789
EndPage 123
ExternalDocumentID 3534804
10_1016_0743_1066_94_00038_8
0743106694000388
GroupedDBID --K
--M
-~X
.~1
0R~
0SF
123
1B1
1RT
1~.
1~5
29K
4.4
4G.
5VS
6I.
7-5
71M
8P~
AACTN
AAEDT
AAEDW
AAFTH
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABEFU
ABMAC
ABVKL
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNCT
ACNNM
ACRLP
ADBBV
ADEZE
ADMUD
AEKER
AETEA
AEXQZ
AFFNX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CS3
D-I
D0L
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-2
G-Q
G8K
GBOLZ
HVGLF
HZ~
IHE
IXB
KOM
KQ8
LG9
M26
M41
MO0
NCXOZ
O-L
O9-
OAUVE
OK1
OZT
P-9
PC.
Q38
R2-
ROL
RPZ
SDF
SDG
SEW
SPC
SSV
SSZ
T5K
TN5
UHS
WUQ
XJT
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABJNI
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
ADVLN
AEIPS
AEUPX
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
CITATION
EFKBS
~HD
AFXIZ
AGCQF
AGRNS
IQODW
SSH
ID FETCH-LOGICAL-c399t-cf6d151e2c320f495dcfa5b9c37a194bca7bd8c41edd127e96e5c0a7c772a98a3
ISICitedReferencesCount 14
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=0743106694000388&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0743-1066
IngestDate Mon Jul 21 09:15:58 EDT 2025
Sat Nov 29 06:24:12 EST 2025
Tue Nov 18 22:31:07 EST 2025
Fri Feb 23 02:34:25 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Issue 2
Keywords Compiler
Logical programming
Programming language
Concurrent program
Semantics
Implementation
Language English
License http://www.elsevier.com/open-access/userlicense/1.0
https://www.elsevier.com/tdm/userlicense/1.0
https://www.elsevier.com/open-access/userlicense/1.0
CC BY 4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c399t-cf6d151e2c320f495dcfa5b9c37a194bca7bd8c41edd127e96e5c0a7c772a98a3
OpenAccessLink https://dx.doi.org/10.1016/0743-1066(94)00038-8
PageCount 35
ParticipantIDs pascalfrancis_primary_3534804
crossref_citationtrail_10_1016_0743_1066_94_00038_8
crossref_primary_10_1016_0743_1066_94_00038_8
elsevier_sciencedirect_doi_10_1016_0743_1066_94_00038_8
PublicationCentury 1900
PublicationDate 1995-05-01
PublicationDateYYYYMMDD 1995-05-01
PublicationDate_xml – month: 05
  year: 1995
  text: 1995-05-01
  day: 01
PublicationDecade 1990
PublicationPlace New-York, NY
PublicationPlace_xml – name: New-York, NY
PublicationTitle The journal of logic programming
PublicationYear 1995
Publisher Elsevier Inc
Elsevier
Publisher_xml – name: Elsevier Inc
– name: Elsevier
References Costa, Warren, Yang (BIB20) June 1991
Sato, Kato, Takeda, Oohara (BIB83) Aug. 1991
Mierowsky, Taylor, Shapiro, Levy, Safra (BIB66) July 1985
Clark, Gregory (BIB18) Jan. 1986; 8
King, Soper (BIB53) 1992
Foster, Taylor (BIB31) 1987; 16
Houri, Shapiro (BIB47) 1987; volume 2
Saraswat, Kahn, Levy (BIB79) Oct. 1990
Yoshida, Chikayama (BIB109) Nov. 1988
Saraswat (BIB78) 1993
Gregory (BIB41) Oct. 1993
Gregory (BIB40) 1987
Goto, Kimura, Nakagawa, Chikayama (BIB39) Aug. 1988
Gerth, Codish, Lichtenstein, Shapiro (BIB38) 1988
Ueda (BIB102) 1987; vol. 1
Harsat, Ginosar (BIB45) June 1991
Nakashima, Nakajima (BIB70) Aug. 1987
Trehan (BIB101) Sept. 1986
Kliger (BIB55) Oct. 1992
Cheese (BIB13) 1992
Debray, Lin, Hermenegildo (BIB28) June 1990
Clark, Gregory (BIB16) Oct. 1981
De Boer, Palamidessi (BIB10) 1993; 108
Tick (BIB94) 1987
Tick, Banerjee (BIB96) June 1993
Clark, Gregory (BIB17) Apr. 1985; 2
Asano, Isobe, Sakai (BIB6) Apr. 1992
Papadopoulos, Culler (BIB76) May 1990
Foster, Taylor (BIB33) 1989
Crammond (BIB21) May 1988
Sato, Goto (BIB82) May 1988
Arvind, Nikhil, Pingali (BIB5) Oct. 1989; 11
Gudeman, De Bosschere, Debray (BIB43) Nov. 1992
Inamura, Ichiyoshi, Rokusawa, Nakajima (BIB50) Oct. 1989
Janson, Haridi (BIB51) Nov. 1991
Tick, Massey, Rakoczi, Tulayathun (BIB98) 1994
Nakagawa, Ido, Tarui, Asaie, Sugie (BIB68) June 1992
Foster, Taylor (BIB34) 1992
Traub, Culler, Schauser (BIB100) 1992
Silverman, Hirsch, Houri, Shapiro (BIB88) 1987; vol. 2
Foster (BIB30) 1992
Takeuchi (BIB91) 1992
King, Soper (BIB54) Nov. 1992
Warren (BIB107) 1983
Ozawa, Hosoi, Hattori (BIB75) Oct. 1990
Saraswat, Rinard, Panangaden (BIB80) 1991
Tick, Zhong (BIB99) June 1993; 11
Aho, Sethi, Ullman (BIB1) 1985
Meier (BIB65) 1994
Koike, Tanaka (BIB56) Nov. 1990
Culler, Sah, Schauser, von Eicken, Wawrzynek (BIB24) Apr. 1991
de Boer, Palamidessi (BIB25) Oct. 1990
Chandy, Taylor (BIB12) 1991
Taki, Nakajima, Nakashima, Ikeda (BIB92) Oct. 1987
Debray, Gudeman, Bigot (BIB26) Nov. 1994
Ichiyoshi, Kimura (BIB48) June 1992
Chikayama (BIB14) Sept. 1994
Gaifman, Maher, Shapiro (BIB37) Oct. 1989
Tick (BIB95) 1993; 9
Foster (BIB29) 1990
Debray, Kannan, Paithane (BIB27) Nov. 1992
Lindstrom (BIB60) Jan. 1985
Crammond (BIB22) Oct. 1990
Gregory, Foster, Burt, Ringwood (BIB42) 1989; 6
Sugie, Yoneyama, Ido, Tarui (BIB89) Nov. 1988
Nikhil, Papadopoulos, Arvind (BIB72) May 1992
Tick, Crammond (BIB97) Aug. 1990; vol. 2
Ueda, Morita (BIB105) 1994; Vol. 13
Miyazaki, Takeuchi, Chikayama (BIB67) 1987; vol. 2
Foster, Winsborough (BIB35) Nov. 1991
López, Hermenegildo (BIB61) Apr. 1994
Shapiro, Safra (BIB87) 1987; vol. 2
Taylor (BIB93) 1989
Ueda, Morita (BIB104) June 1992
Crammond (BIB23) Aug. 1992; 10
Chikayama, Kimura (BIB15) May 1987
Sundararajan, Sastry, Tick (BIB90) February 1995
Shapiro, Mierowsky (BIB86) 1987; vol. 2
Wadler (BIB106) 1987
Massey, Tick (BIB64) Aug. 1994
Banerjee (BIB9) 1988
Ait-Kaci (BIB2) 1991
Alkalaj, Lang, Ercegovac (BIB3) June 1990
Nakashima, Nakajima, Kondo, Takeda, Inamura, Onishi, Masuda (BIB71) June 1992
Ueda, Chikayama (BIB103) 1984
Massey, Tick (BIB63) July 1993
Nakajima (BIB69) May 1988
Bahgat (BIB7) 1993
Pinto (BIB77) Sept. 1986
Koshimura, Hasegawa (BIB58) 1993
Arvind, Iannucci (BIB4) June 1987
Hirata (BIB46) 1986
Bougé (BIB11) 1988; 25
Shapiro (BIB84) 1987; vol. 1
Yanoo (BIB108) Apr. 1992
Nilsson, Tanaka (BIB73) June 1986
Shapiro (BIB85) 1989; 21
Kimura, Chikayama (BIB52) Aug. 1987
Konishi, Maruyama, Konagaya, Yoshida, Chikayama (BIB57) June 1992
Kumon, Asato, Arai, Shinogi, Hattori, Hatazawa, Hirano (BIB59) June 1992
Costa, Warren, Yang (BIB19) Apr. 1991
Bahgat, Gregory (BIB8) June 1989
Gudjonsson, Winsborough (BIB44) Oct. 1993
Foster, Taylor (BIB32) Oct. 1989
Imai, Tick (BIB49) Sep. 1993; 4
Sarkar (BIB81) 1989
Furuichi, Taki, Ichiyoshi (BIB36) Mar. 1990
Nishida, Kimura, Matsumoto, Goto (BIB74) June 1990
Maher (BIB62) May 1987
Yanoo (10.1016/0743-1066(94)00038-8_BIB108) 1992
Crammond (10.1016/0743-1066(94)00038-8_BIB23) 1992; 10
Gudjonsson (10.1016/0743-1066(94)00038-8_BIB44) 1993
Kimura (10.1016/0743-1066(94)00038-8_BIB52) 1987
Tick (10.1016/0743-1066(94)00038-8_BIB94) 1987
Chikayama (10.1016/0743-1066(94)00038-8_BIB14) 1994
Janson (10.1016/0743-1066(94)00038-8_BIB51) 1991
Nakashima (10.1016/0743-1066(94)00038-8_BIB70) 1987
Massey (10.1016/0743-1066(94)00038-8_BIB64) 1994
Saraswat (10.1016/0743-1066(94)00038-8_BIB80) 1991
Arvind (10.1016/0743-1066(94)00038-8_BIB5) 1989; 11
Gregory (10.1016/0743-1066(94)00038-8_BIB42) 1989; 6
de Boer (10.1016/0743-1066(94)00038-8_BIB25) 1990
Foster (10.1016/0743-1066(94)00038-8_BIB32) 1989
Saraswat (10.1016/0743-1066(94)00038-8_BIB78) 1993
López (10.1016/0743-1066(94)00038-8_BIB61) 1994
Sarkar (10.1016/0743-1066(94)00038-8_BIB81) 1989
Bahgat (10.1016/0743-1066(94)00038-8_BIB8) 1989
Shapiro (10.1016/0743-1066(94)00038-8_BIB87) 1987; vol. 2
Ueda (10.1016/0743-1066(94)00038-8_BIB104) 1992
Foster (10.1016/0743-1066(94)00038-8_BIB31) 1987; 16
Foster (10.1016/0743-1066(94)00038-8_BIB35) 1991
Miyazaki (10.1016/0743-1066(94)00038-8_BIB67) 1987; vol. 2
Tick (10.1016/0743-1066(94)00038-8_BIB97) 1990; vol. 2
Crammond (10.1016/0743-1066(94)00038-8_BIB21) 1988
Debray (10.1016/0743-1066(94)00038-8_BIB27) 1992
Silverman (10.1016/0743-1066(94)00038-8_BIB88) 1987; vol. 2
Asano (10.1016/0743-1066(94)00038-8_BIB6) 1992
Taylor (10.1016/0743-1066(94)00038-8_BIB93) 1989
Crammond (10.1016/0743-1066(94)00038-8_BIB22) 1990
Kliger (10.1016/0743-1066(94)00038-8_BIB55) 1992
Sato (10.1016/0743-1066(94)00038-8_BIB82) 1988
Foster (10.1016/0743-1066(94)00038-8_BIB34) 1992
Clark (10.1016/0743-1066(94)00038-8_BIB16) 1981
Imai (10.1016/0743-1066(94)00038-8_BIB49) 1993; 4
Cheese (10.1016/0743-1066(94)00038-8_BIB13) 1992
Houri (10.1016/0743-1066(94)00038-8_BIB47) 1987; volume 2
Konishi (10.1016/0743-1066(94)00038-8_BIB57) 1992
Sato (10.1016/0743-1066(94)00038-8_BIB83) 1991
Costa (10.1016/0743-1066(94)00038-8_BIB20) 1991
Shapiro (10.1016/0743-1066(94)00038-8_BIB84) 1987; vol. 1
Sugie (10.1016/0743-1066(94)00038-8_BIB89) 1988
Koshimura (10.1016/0743-1066(94)00038-8_BIB58) 1993
Debray (10.1016/0743-1066(94)00038-8_BIB26) 1994
Taki (10.1016/0743-1066(94)00038-8_BIB92) 1987
Inamura (10.1016/0743-1066(94)00038-8_BIB50) 1989
Koike (10.1016/0743-1066(94)00038-8_BIB56) 1990
Gaifman (10.1016/0743-1066(94)00038-8_BIB37) 1989
Tick (10.1016/0743-1066(94)00038-8_BIB99) 1993; 11
Banerjee (10.1016/0743-1066(94)00038-8_BIB9) 1988
Goto (10.1016/0743-1066(94)00038-8_BIB39) 1988
Culler (10.1016/0743-1066(94)00038-8_BIB24) 1991
Wadler (10.1016/0743-1066(94)00038-8_BIB106) 1987
Bougé (10.1016/0743-1066(94)00038-8_BIB11) 1988; 25
Lindstrom (10.1016/0743-1066(94)00038-8_BIB60) 1985
Ueda (10.1016/0743-1066(94)00038-8_BIB105) 1994; Vol. 13
Foster (10.1016/0743-1066(94)00038-8_BIB29) 1990
Pinto (10.1016/0743-1066(94)00038-8_BIB77) 1986
Nakashima (10.1016/0743-1066(94)00038-8_BIB71) 1992
Shapiro (10.1016/0743-1066(94)00038-8_BIB86) 1987; vol. 2
Nakajima (10.1016/0743-1066(94)00038-8_BIB69) 1988
Harsat (10.1016/0743-1066(94)00038-8_BIB45) 1991
Traub (10.1016/0743-1066(94)00038-8_BIB100) 1992
Debray (10.1016/0743-1066(94)00038-8_BIB28) 1990
De Boer (10.1016/0743-1066(94)00038-8_BIB10) 1993; 108
Gudeman (10.1016/0743-1066(94)00038-8_BIB43) 1992
Gregory (10.1016/0743-1066(94)00038-8_BIB41) 1993
Warren (10.1016/0743-1066(94)00038-8_BIB107) 1983
Papadopoulos (10.1016/0743-1066(94)00038-8_BIB76) 1990
Alkalaj (10.1016/0743-1066(94)00038-8_BIB3) 1990
Ichiyoshi (10.1016/0743-1066(94)00038-8_BIB48) 1992
Clark (10.1016/0743-1066(94)00038-8_BIB18) 1986; 8
Tick (10.1016/0743-1066(94)00038-8_BIB98) 1994
Foster (10.1016/0743-1066(94)00038-8_BIB33) 1989
Nilsson (10.1016/0743-1066(94)00038-8_BIB73) 1986
Furuichi (10.1016/0743-1066(94)00038-8_BIB36) 1990
Kumon (10.1016/0743-1066(94)00038-8_BIB59) 1992
Gerth (10.1016/0743-1066(94)00038-8_BIB38) 1988
Arvind (10.1016/0743-1066(94)00038-8_BIB4) 1987
Bahgat (10.1016/0743-1066(94)00038-8_BIB7) 1993
Saraswat (10.1016/0743-1066(94)00038-8_BIB79) 1990
Ait-Kaci (10.1016/0743-1066(94)00038-8_BIB2) 1991
Mierowsky (10.1016/0743-1066(94)00038-8_BIB66) 1985
King (10.1016/0743-1066(94)00038-8_BIB54) 1992
Hirata (10.1016/0743-1066(94)00038-8_BIB46) 1986
Yoshida (10.1016/0743-1066(94)00038-8_BIB109) 1988
Nakagawa (10.1016/0743-1066(94)00038-8_BIB68) 1992
Ozawa (10.1016/0743-1066(94)00038-8_BIB75) 1990
Chikayama (10.1016/0743-1066(94)00038-8_BIB15) 1987
Shapiro (10.1016/0743-1066(94)00038-8_BIB85) 1989; 21
Takeuchi (10.1016/0743-1066(94)00038-8_BIB91) 1992
Tick (10.1016/0743-1066(94)00038-8_BIB95) 1993; 9
Ueda (10.1016/0743-1066(94)00038-8_BIB102) 1987; vol. 1
Gregory (10.1016/0743-1066(94)00038-8_BIB40) 1987
Maher (10.1016/0743-1066(94)00038-8_BIB62) 1987
Clark (10.1016/0743-1066(94)00038-8_BIB17) 1985; 2
Foster (10.1016/0743-1066(94)00038-8_BIB30) 1992
King (10.1016/0743-1066(94)00038-8_BIB53) 1992
Ueda (10.1016/0743-1066(94)00038-8_BIB103) 1984
Meier (10.1016/0743-1066(94)00038-8_BIB65) 1994
Trehan (10.1016/0743-1066(94)00038-8_BIB101) 1986
Massey (10.1016/0743-1066(94)00038-8_BIB63) 1993
Nikhil (10.1016/0743-1066(94)00038-8_BIB72) 1992
Tick (10.1016/0743-1066(94)00038-8_BIB96) 1993
Costa (10.1016/0743-1066(94)00038-8_BIB19) 1991
Sundararajan (10.1016/0743-1066(94)00038-8_BIB90) 1995
Nishida (10.1016/0743-1066(94)00038-8_BIB74) 1990
Chandy (10.1016/0743-1066(94)00038-8_BIB12) 1991
Aho (10.1016/0743-1066(94)00038-8_BIB1) 1985
References_xml – year: Sept. 1994
  ident: BIB14
  article-title: A Portable and Efficient Implementation of KL1
  publication-title: International Symposium on Programming Language Implementation and Logic Programming
– start-page: 276
  year: May 1987
  end-page: 293
  ident: BIB15
  article-title: Multiple Reference Management in Flat GHC
  publication-title: International Conference on Logic Programming
– volume: vol. 2
  start-page: 416
  year: 1987
  end-page: 420
  ident: BIB87
  article-title: Multiway Merge with Constant Delay in Concurrent Prolog
  publication-title: Concurrent Prolog: Collected Papers
– volume: vol. 1
  start-page: 140
  year: 1987
  end-page: 156
  ident: BIB102
  article-title: Guarded Horn Clauses
  publication-title: Concurrent Prolog: Collected Papers
– start-page: 399
  year: Nov. 1992
  end-page: 413
  ident: BIB43
  article-title: jc: An Efficient and Portable Sequential Implementation of Janus
  publication-title: Joint International Conference and Symposium on Logic Programming
– year: 1993
  ident: BIB78
  article-title: Concurrent Constraint Programming
– start-page: 642
  year: Oct. 1990
  end-page: 657
  ident: BIB22
  article-title: Scheduling and Variable Assignment in the Parallel Parlog Implementation
  publication-title: North American Conference on Logic Programming
– year: Aug. 1991
  ident: BIB83
  article-title: Exploiting Fine Grain Parallelism in Logic Programming on a Parallel Inference Machine
  publication-title: Technical Report TR-676
– volume: 11
  start-page: 271
  year: June 1993
  end-page: 295
  ident: BIB99
  article-title: A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation
  publication-title: New Generation Computing
– start-page: 174
  year: June 1990
  end-page: 188
  ident: BIB28
  article-title: Task Granularity Analysis in Logic Programs
  publication-title: SIGPLAN Conference on Programming Language Design and Implementation
– start-page: 654
  year: Nov. 1992
  end-page: 668
  ident: BIB27
  article-title: Weighted Decision Trees
  publication-title: Joint International Conference and Symposium on Logic Programming
– year: 1992
  ident: BIB34
  article-title: A Compiler Approach to Scalable Concurrent Program Design
  publication-title: Technical Report MCS-P306-0492
– start-page: 757
  year: June 1993
  end-page: 773
  ident: BIB96
  article-title: Performance Evaluation of Monaco Compiler and Runtime Kernel
  publication-title: International Conference on Logic Programming
– volume: 11
  start-page: 598
  year: Oct. 1989
  end-page: 632
  ident: BIB5
  article-title: I-Structures: Data Structures for Parallel Computing
  publication-title: ACM Transactions on Programming Languages and Systems
– volume: 4
  start-page: 1030
  year: Sep. 1993
  end-page: 1040
  ident: BIB49
  article-title: Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
  publication-title: IEEE Transactions on Parallel and Distributed Computing
– year: Apr. 1994
  ident: BIB61
  article-title: Dynamic Term Size Computation in Logic Programs via Program Transformation
  publication-title: Technical Report
– year: 1993
  ident: BIB58
  article-title: A Mode Analyzer for FGHC Programs in a Model Generation Theorem Prover
  publication-title: Proceedings of the 47th Annual Convention IPS Japan
– start-page: 840
  year: June 1991
  end-page: 854
  ident: BIB45
  article-title: CARMEL-4: The Unify-Spawn Machine for FCP
  publication-title: International Conference on Logic Programming
– year: 1989
  ident: BIB81
  article-title: Partitioning and Scheduling Parallel Programs for Execution on Multiprocessors
– start-page: 638
  year: Nov. 1988
  end-page: 649
  ident: BIB109
  article-title: A'UM: A Stream-Based Object-Oriented Language
  publication-title: International Conference on Fifth Generation Computer Systems
– start-page: 82
  year: May 1990
  end-page: 91
  ident: BIB76
  article-title: Monsoon: An Explicit Token-Store Architecture
  publication-title: International Symposium on Computer Architecture
– volume: 21
  start-page: 413
  year: 1989
  end-page: 510
  ident: BIB85
  article-title: The Family of Concurrent Logic Programming Languages
  publication-title: ACM Computing Surveys
– start-page: 497
  year: Oct. 1989
  end-page: 512
  ident: BIB32
  article-title: Strand: A Practical Parallel Programming Language
  publication-title: North American Conference on Logic Programming
– volume: 2
  year: Apr. 1985
  ident: BIB17
  article-title: Notes on the Implementation of PARLOG
  publication-title: Journal of Logic Programming
– start-page: 181
  year: 1987
  end-page: 198
  ident: BIB106
  article-title: Strictness Analysis on Non-Flat Domains (by Abstract Interpretation Over Finite Domains)
  publication-title: Abstract Interpretation of Declarative Languages
– start-page: 94
  year: Oct. 1993
  end-page: 113
  ident: BIB44
  article-title: Update in Place: Overview of the Siva Project
  publication-title: International Logic Programming Symposium
– start-page: 205
  year: July 1993
  end-page: 216
  ident: BIB63
  article-title: Sequentialization of Parallel Logic Programs with Mode Analysis
  publication-title: International Conference on Logic Programming and Automated Reasoning
– start-page: 324
  year: 1992
  end-page: 334
  ident: BIB100
  article-title: Global Analysis for Partitioning Non-Strict Programs into Sequential Threads
  publication-title: Conference on Lisp and Functional Programming
– start-page: 50
  year: Mar. 1990
  end-page: 59
  ident: BIB36
  article-title: A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI
  publication-title: SIGPLAN Symposium on Principles and Practices of Parallel Programming
– year: 1992
  ident: BIB13
  article-title: Parallel Execution of Parlog
  publication-title: Lecture Notes in Computer Science
– start-page: 167
  year: Nov. 1991
  end-page: 183
  ident: BIB51
  article-title: Programming Paradigms of the Andorra Kernel Language
  publication-title: International Symposium on Logic Programming
– year: 1992
  ident: BIB53
  article-title: Heuristics, Thresholding and a New Technique for Controlling the Granularity of Concurrent Logic Programs
  publication-title: Technical Report CSTR 92-08
– year: 1992
  ident: BIB30
  article-title: Information Hiding in Parallel Programs
  publication-title: Technical Report MCS-P290-0292
– start-page: 468
  year: Aug. 1987
  end-page: 477
  ident: BIB52
  article-title: An Abstract KL1 Machine and Its Instruction Set
  publication-title: International Symposium on Logic Programming
– volume: 108
  start-page: 128
  year: 1993
  end-page: 157
  ident: BIB10
  article-title: Embedding as a Tool for Language Comparison
  publication-title: Information and Computation
– volume: vol. 2
  start-page: 496
  year: 1987
  end-page: 512
  ident: BIB67
  article-title: A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme
  publication-title: Concurrent Prolog: Collected Papers
– start-page: 425
  year: June 1992
  end-page: 435
  ident: BIB71
  article-title: Architecture and Implementation of PIM/m
  publication-title: International Conference on Fifth Generation Computer Systems
– volume: Vol. 13
  start-page: 3
  year: 1994
  end-page: 43
  ident: BIB105
  article-title: Moded Flat GHC and Its Message-Oriented Implementation Technique
  publication-title: New Generation Computing
– year: 1985
  ident: BIB1
  article-title: Compilers, Principles, Techniques, and Tools
– volume: 9
  start-page: 127
  year: 1993
  end-page: 136
  ident: BIB95
  article-title: Appraisal of Parallel Processing Research at ICOT
  publication-title: Future Generation Computer Systems
– start-page: 215
  year: Aug. 1994
  end-page: 224
  ident: BIB64
  article-title: Demand-Driven Execution of Concurrent Logic Programs
  publication-title: International Conference on Parallel Architectures and Compilation Techniques
– year: 1991
  ident: BIB80
  article-title: Semantics Foundations of Concurrent Constraint Programming
  publication-title: SIGPLAN Symposium on Principles of Programming Languages
– year: February 1995
  ident: BIB90
  article-title: An Improved Compile-Time Memory-Reuse Scheme for Flat Concurrent Logic Programs
  publication-title: Technical Report CISTR-95-04
– year: 1992
  ident: BIB91
  article-title: Parallel Logic Programming
– start-page: 69
  year: 1986
  end-page: 72
  ident: BIB46
  article-title: Programming Language Doc and its Self-Description, or, X=X is Considered Harmful
  publication-title: Proceedings of the 3rd Conference of Japan Society of Software Science and Technology
– start-page: 266
  year: Jan. 1985
  end-page: 280
  ident: BIB60
  article-title: Functional Programming and the Logic Variable
  publication-title: SIGPLAN Symposium on Principles of Programming Languages
– year: Nov. 1990
  ident: BIB56
  article-title: Generation Scavenging GC on Distributed-Memory Parallel Computers
  publication-title: Proceedings of High Performance and Parallel Computing in Lisp, EUROPAL Workshop
– year: Oct. 1989
  ident: BIB37
  article-title: Reactive Behavior Semantics for Concurrent Constraint Logic Programs
  publication-title: North American Conference on Logic Programming
– start-page: 171
  year: Oct. 1981
  end-page: 178
  ident: BIB16
  article-title: A Relational Language for Parallel Programming
  publication-title: Conference on Functional Programming Languages and Computer Architecture
– volume: 10
  start-page: 385
  year: Aug. 1992
  end-page: 422
  ident: BIB23
  article-title: The Abstract Machine and Implementation of Parallel Parlog
  publication-title: New Generation Computing
– start-page: 987
  year: Nov. 1988
  end-page: 993
  ident: BIB89
  article-title: Load-Dispatching Strategies on Parallel Inference Machines
  publication-title: International Conference on Fifth Generation Computer Systems
– year: Sept. 1986
  ident: BIB101
  article-title: A Comparison of Committed Choice Non-Determinate Logic Languages Parallelism in a Mathematical Equation Solver (PRESS)
  publication-title: Master's thesis
– start-page: 791
  year: June 1992
  end-page: 798
  ident: BIB57
  article-title: Implementing Streams on Parallel Machines with Distributed Memory
  publication-title: International Conference on Fifth Generation Computer Systems
– start-page: 825
  year: June 1991
  end-page: 839
  ident: BIB20
  article-title: The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model
  publication-title: International Conference on Logic Programming
– start-page: 128
  year: Oct. 1987
  end-page: 135
  ident: BIB92
  article-title: Performance and Architectural Evaluation of the PSI Machine
  publication-title: International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
– volume: volume 2
  start-page: 513
  year: 1987
  end-page: 574
  ident: BIB47
  article-title: A Sequential Abstract Machine for Flat Concurrent Prolog
  publication-title: Concurrent Prolog: Collected Papers
– start-page: 305
  year: May 1988
  end-page: 318
  ident: BIB82
  article-title: Evaluation of the KL1 Parallel System on a Shared Memory Multiprocessor
  publication-title: IFIP Working Conference on Parallel Processing
– volume: vol. 2
  start-page: 392
  year: 1987
  end-page: 413
  ident: BIB86
  article-title: Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog
  publication-title: Concurrent Prolog: Collected Papers
– start-page: 1241
  year: Aug. 1988
  end-page: 1256
  ident: BIB39
  article-title: Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
  publication-title: International Conference and Symposium on Logic Programming
– start-page: 83
  year: Apr. 1991
  end-page: 93
  ident: BIB19
  article-title: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
  publication-title: SIGPLAN Symposium on Principles and Practices of Parallel Programming
– start-page: 156
  year: May 1992
  end-page: 167
  ident: BIB72
  article-title: ∗T: A Multithreaded Massively Parallel Architecture
  publication-title: International Symposium on Computer Architecture
– start-page: 799
  year: June 1992
  end-page: 808
  ident: BIB104
  article-title: Message-Oriented Parallel Implementation of Moded Flat GHC
  publication-title: International Conference on Fifth Generation Computer Systems
– start-page: 455
  year: Nov. 1991
  end-page: 469
  ident: BIB35
  article-title: Copy Avoidance through Compile-Time Analysis and Local Reuse
  publication-title: International Symposium on Logic Programming
– year: 1987
  ident: BIB40
  article-title: Parallel Logic Programming in PARLOG: The Language and its Implementation
– year: 1991
  ident: BIB2
  article-title: Warren's Abstract Machine: A Tutorial Reconstruction
– start-page: 83
  year: June 1990
  end-page: 95
  ident: BIB74
  article-title: Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures
  publication-title: International Conference on Logic Programming
– start-page: 431
  year: Oct. 1990
  end-page: 446
  ident: BIB79
  article-title: Janus: A Step Towards Distributed Constraint Programming
  publication-title: North American Conference on Logic Programming
– year: 1993
  ident: BIB7
  article-title: Pandora: Non-Deterministic Parallel Logic Programming
– start-page: 907
  year: Oct. 1989
  end-page: 921
  ident: BIB50
  article-title: Optimization Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2
  publication-title: North American Conference on Logic Programming
– year: 1994
  ident: BIB65
  article-title: Better Late Than Never
  publication-title: Implementations of Logic Programming Systems
– year: 1989
  ident: BIB93
  article-title: Parallel Logic Programming Techniques
– year: Sept. 1986
  ident: BIB77
  article-title: Implementing Meta-Interpreters and Compilers for Parallel Logic Languages in Prolog
  publication-title: Master's thesis
– year: 1987
  ident: BIB94
  article-title: Memory Performance of Prolog Architectures
– year: May 1988
  ident: BIB21
  article-title: Implementation of Committed-Choice Logic Languages on Shared-Memory Multiprocessors
  publication-title: Ph.D. thesis
– start-page: 471
  year: June 1989
  end-page: 486
  ident: BIB8
  article-title: Pandora: Non-Deterministic Parallel Logic Programming
  publication-title: International Conference on Logic Programming
– start-page: 170
  year: June 1986
  end-page: 179
  ident: BIB73
  article-title: FLENG Prolog—The Language which Turns Super-computers into Parallel Prolog Machines
  publication-title: Proceedings of the Logic Programming Conference
– start-page: 478
  year: Nov. 1992
  end-page: 492
  ident: BIB54
  article-title: Schedule Analysis of Concurrent Logic Programs
  publication-title: Joint International Conference and Symposium on Logic Programming
– start-page: 858
  year: May 1987
  end-page: 876
  ident: BIB62
  article-title: Logic Semantics for a Class of Committed-Choice Programs
  publication-title: International Conference on Logic Programming
– start-page: 320
  year: 1988
  end-page: 335
  ident: BIB38
  article-title: Fully Abstract Denotational Semantics for Concurrent Prolog
  publication-title: Third Annual IEEE Symposium on Logic in Computer Science
– year: July 1985
  ident: BIB66
  article-title: The Design and Implementation of Flat Concurrent Prolog
  publication-title: Technical Report CS85-09
– start-page: 292
  year: June 1990
  end-page: 301
  ident: BIB3
  article-title: Architectural Support for the Management of Tightly-Coupled, Fine-Grain Goals in Flat Concurrent Prolog
  publication-title: International Symposium on Computer Architecture
– start-page: 414
  year: June 1992
  end-page: 424
  ident: BIB59
  article-title: Architecture and Implementation of PIM/p
  publication-title: International Conference on Fifth Generation Computer Systems
– year: 1990
  ident: BIB29
  article-title: Systems Programming in Parallel Logic Languages
– start-page: 487
  year: Nov. 1994
  end-page: 501
  ident: BIB26
  article-title: Detection and Optimization of Suspension-Free Logic Programs
  publication-title: International Symposium on Logic Programming
– volume: 25
  start-page: 179
  year: 1988
  end-page: 201
  ident: BIB11
  article-title: On the Existence of Symmetric Algorithms to Find Leaders
  publication-title: Networks of Communicating Sequential Processes
– volume: 8
  start-page: 1
  year: Jan. 1986
  end-page: 49
  ident: BIB18
  article-title: PARLOG: Parallel Programming in Logic
  publication-title: ACM Transactions on Programming Languages and Systems
– start-page: 104
  year: Aug. 1987
  end-page: 113
  ident: BIB70
  article-title: Hardware Architecture of the Sequential Inference Machine: PSI-II
  publication-title: International Symposium on Logic Programming
– year: Oct. 1992
  ident: BIB55
  article-title: Compiling Concurrent Logic Programming Languages
  publication-title: Ph.D. thesis
– year: Apr. 1992
  ident: BIB6
  article-title: The Unique Features of PIM/k: A Parallel Inference Machine with Hierarchical Cache System
  publication-title: Technical Report TR-767
– year: 1983
  ident: BIB107
  article-title: An Abstract Prolog Instruction Set
  publication-title: Technical Report 309
– start-page: 239
  year: 1994
  end-page: 244
  ident: BIB98
  article-title: Concurrent Logic Programs
  publication-title: Implementations of Logic Programming Systems
– start-page: 291
  year: Oct. 1990
  end-page: 305
  ident: BIB75
  article-title: Generation Type Garbage Collection for Parallel Logic Languages
  publication-title: North American Conference on Logic Programming
– volume: 6
  start-page: 389
  year: 1989
  end-page: 420
  ident: BIB42
  article-title: An Abstract Machine for the Implementation of Parlog on Uniprocessors
  publication-title: New Generation Computing
– start-page: 370
  year: Oct. 1993
  end-page: 387
  ident: BIB41
  article-title: Experiments with Speculative Parallelism in Parlog
  publication-title: International Logic Programming Symposium
– year: 1991
  ident: BIB12
  article-title: An Introduction to Parallel Programming
– start-page: 164
  year: Apr. 1991
  end-page: 175
  ident: BIB24
  article-title: Fine-Grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine
  publication-title: International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
– year: 1988
  ident: BIB9
  article-title: Dependence Analysis for Supercomputing
– start-page: 71
  year: Apr. 1992
  end-page: 94
  ident: BIB108
  article-title: An Optimizing Compiler for a Parallel Inference Language
  publication-title: Annual Report of the Research on Parallel Inference Engine
– volume: 16
  start-page: 87
  year: 1987
  end-page: 125
  ident: BIB31
  article-title: Flat PARLOG: A Basis for Comparison
  publication-title: International Journal of Parallel Programming
– start-page: 175
  year: Oct. 1990
  end-page: 194
  ident: BIB25
  article-title: Concurrent Logic Languages: Asynchronism and Language Comparison
  publication-title: North American Conference on Logic Programming
– year: 1989
  ident: BIB33
  article-title: Strand: New Concepts in Parallel Programming
– volume: vol. 2
  start-page: 46
  year: 1987
  end-page: 77
  ident: BIB88
  article-title: The Logix System User Manual
  publication-title: Concurrent Prolog: Collected Papers
– volume: vol. 2
  start-page: 236
  year: Aug. 1990
  end-page: 242
  ident: BIB97
  article-title: Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs
  publication-title: International Conference on Parallel Processing
– year: June 1987
  ident: BIB4
  article-title: Two Fundamental Issues in Multiprocessing
  publication-title: DFVLR: Conference on Parallel Processing in Science and Engineering
– start-page: 201
  year: May 1988
  end-page: 204
  ident: BIB69
  article-title: Piling GC: Efficient Garbage Collection for AI Languages
  publication-title: IFIP Working Conference on Parallel Processing
– volume: vol. 1
  start-page: 27
  year: 1987
  end-page: 83
  ident: BIB84
  article-title: A Subset of Concurrent Prolog and Its Interpreter
  publication-title: Concurrent Prolog: Collected Papers
– start-page: 723
  year: June 1992
  end-page: 730
  ident: BIB68
  article-title: Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c
  publication-title: International Conference on Fifth Generation Computer Systems
– start-page: 869
  year: June 1992
  end-page: 876
  ident: BIB48
  article-title: Asymptotic Load Balance of Distributed Hash Tables
  publication-title: International Conference on Fifth Generation Computer Systems
– start-page: 317
  year: 1984
  end-page: 326
  ident: BIB103
  article-title: Efficient Stream/Array Processing in Logic Programming Language
  publication-title: International Conference on Fifth Generation Computer Systems
– year: 1986
  ident: 10.1016/0743-1066(94)00038-8_BIB101
  article-title: A Comparison of Committed Choice Non-Determinate Logic Languages Parallelism in a Mathematical Equation Solver (PRESS)
– start-page: 170
  year: 1986
  ident: 10.1016/0743-1066(94)00038-8_BIB73
  article-title: FLENG Prolog—The Language which Turns Super-computers into Parallel Prolog Machines
– start-page: 104
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB70
  article-title: Hardware Architecture of the Sequential Inference Machine: PSI-II
– year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB81
– start-page: 94
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB44
  article-title: Update in Place: Overview of the Siva Project
– start-page: 69
  year: 1986
  ident: 10.1016/0743-1066(94)00038-8_BIB46
  article-title: Programming Language Doc and its Self-Description, or, X=X is Considered Harmful
– start-page: 174
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB28
  article-title: Task Granularity Analysis in Logic Programs
– start-page: 164
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB24
  article-title: Fine-Grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine
– start-page: 181
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB106
  article-title: Strictness Analysis on Non-Flat Domains (by Abstract Interpretation Over Finite Domains)
– start-page: 414
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB59
  article-title: Architecture and Implementation of PIM/p
– year: 1983
  ident: 10.1016/0743-1066(94)00038-8_BIB107
  article-title: An Abstract Prolog Instruction Set
– year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB9
– year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB83
  article-title: Exploiting Fine Grain Parallelism in Logic Programming on a Parallel Inference Machine
– volume: vol. 2
  start-page: 416
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB87
  article-title: Multiway Merge with Constant Delay in Concurrent Prolog
– start-page: 82
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB76
  article-title: Monsoon: An Explicit Token-Store Architecture
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB6
  article-title: The Unique Features of PIM/k: A Parallel Inference Machine with Hierarchical Cache System
– start-page: 167
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB51
  article-title: Programming Paradigms of the Andorra Kernel Language
– start-page: 907
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB50
  article-title: Optimization Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2
– start-page: 266
  year: 1985
  ident: 10.1016/0743-1066(94)00038-8_BIB60
  article-title: Functional Programming and the Logic Variable
– volume: vol. 2
  start-page: 236
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB97
  article-title: Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs
– start-page: 205
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB63
  article-title: Sequentialization of Parallel Logic Programs with Mode Analysis
– start-page: 276
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB15
  article-title: Multiple Reference Management in Flat GHC
– volume: 11
  start-page: 598
  issue: 4
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB5
  article-title: I-Structures: Data Structures for Parallel Computing
  publication-title: ACM Transactions on Programming Languages and Systems
  doi: 10.1145/69558.69562
– year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB14
  article-title: A Portable and Efficient Implementation of KL1
– year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB56
  article-title: Generation Scavenging GC on Distributed-Memory Parallel Computers
– start-page: 642
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB22
  article-title: Scheduling and Variable Assignment in the Parallel Parlog Implementation
– start-page: 215
  year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB64
  article-title: Demand-Driven Execution of Concurrent Logic Programs
– start-page: 1241
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB39
  article-title: Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
– volume: 10
  start-page: 385
  issue: 4
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB23
  article-title: The Abstract Machine and Implementation of Parallel Parlog
  publication-title: New Generation Computing
  doi: 10.1007/BF03037945
– start-page: 201
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB69
  article-title: Piling GC: Efficient Garbage Collection for AI Languages
– year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB65
  article-title: Better Late Than Never
– start-page: 50
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB36
  article-title: A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI
– volume: 108
  start-page: 128
  issue: 1
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB10
  article-title: Embedding as a Tool for Language Comparison
  publication-title: Information and Computation
  doi: 10.1006/inco.1994.1004
– start-page: 455
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB35
  article-title: Copy Avoidance through Compile-Time Analysis and Local Reuse
– volume: 25
  start-page: 179
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB11
  article-title: On the Existence of Symmetric Algorithms to Find Leaders
– volume: 9
  start-page: 127
  issue: 2
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB95
  article-title: Appraisal of Parallel Processing Research at ICOT
  publication-title: Future Generation Computer Systems
  doi: 10.1016/0167-739X(93)90005-A
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB13
  article-title: Parallel Execution of Parlog
– year: 1985
  ident: 10.1016/0743-1066(94)00038-8_BIB1
– start-page: 757
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB96
  article-title: Performance Evaluation of Monaco Compiler and Runtime Kernel
– volume: 16
  start-page: 87
  issue: 2
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB31
  article-title: Flat PARLOG: A Basis for Comparison
  publication-title: International Journal of Parallel Programming
  doi: 10.1007/BF01379097
– year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB80
  article-title: Semantics Foundations of Concurrent Constraint Programming
– year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB40
– volume: vol. 1
  start-page: 27
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB84
  article-title: A Subset of Concurrent Prolog and Its Interpreter
– year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB78
– year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB33
– start-page: 497
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB32
  article-title: Strand: A Practical Parallel Programming Language
– volume: Vol. 13
  start-page: 3
  issue: no. 1
  year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB105
  article-title: Moded Flat GHC and Its Message-Oriented Implementation Technique
  publication-title: New Generation Computing
  doi: 10.1007/BF03038307
– start-page: 399
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB43
  article-title: jc: An Efficient and Portable Sequential Implementation of Janus
– start-page: 292
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB3
  article-title: Architectural Support for the Management of Tightly-Coupled, Fine-Grain Goals in Flat Concurrent Prolog
– start-page: 471
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB8
  article-title: Pandora: Non-Deterministic Parallel Logic Programming
– start-page: 83
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB74
  article-title: Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures
– start-page: 71
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB108
  article-title: An Optimizing Compiler for a Parallel Inference Language
– start-page: 431
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB79
  article-title: Janus: A Step Towards Distributed Constraint Programming
– start-page: 156
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB72
  article-title: ∗T: A Multithreaded Massively Parallel Architecture
– volume: 6
  start-page: 389
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB42
  article-title: An Abstract Machine for the Implementation of Parlog on Uniprocessors
  publication-title: New Generation Computing
  doi: 10.1007/BF03037448
– year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB7
– start-page: 305
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB82
  article-title: Evaluation of the KL1 Parallel System on a Shared Memory Multiprocessor
– start-page: 320
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB38
  article-title: Fully Abstract Denotational Semantics for Concurrent Prolog
– start-page: 869
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB48
  article-title: Asymptotic Load Balance of Distributed Hash Tables
– start-page: 825
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB20
  article-title: The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB34
  article-title: A Compiler Approach to Scalable Concurrent Program Design
  doi: 10.1145/177492.177612
– volume: vol. 1
  start-page: 140
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB102
  article-title: Guarded Horn Clauses
– volume: 8
  start-page: 1
  issue: 1
  year: 1986
  ident: 10.1016/0743-1066(94)00038-8_BIB18
  article-title: PARLOG: Parallel Programming in Logic
  publication-title: ACM Transactions on Programming Languages and Systems
  doi: 10.1145/5001.5390
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB53
  article-title: Heuristics, Thresholding and a New Technique for Controlling the Granularity of Concurrent Logic Programs
– start-page: 83
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB19
  article-title: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
– start-page: 987
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB89
  article-title: Load-Dispatching Strategies on Parallel Inference Machines
– volume: 2
  issue: 1
  year: 1985
  ident: 10.1016/0743-1066(94)00038-8_BIB17
  article-title: Notes on the Implementation of PARLOG
  publication-title: Journal of Logic Programming
  doi: 10.1016/0743-1066(85)90003-2
– start-page: 638
  year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB109
  article-title: A'UM: A Stream-Based Object-Oriented Language
– year: 1985
  ident: 10.1016/0743-1066(94)00038-8_BIB66
  article-title: The Design and Implementation of Flat Concurrent Prolog
– year: 1995
  ident: 10.1016/0743-1066(94)00038-8_BIB90
  article-title: An Improved Compile-Time Memory-Reuse Scheme for Flat Concurrent Logic Programs
– start-page: 654
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB27
  article-title: Weighted Decision Trees
– volume: 21
  start-page: 413
  issue: 3
  year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB85
  article-title: The Family of Concurrent Logic Programming Languages
  publication-title: ACM Computing Surveys
  doi: 10.1145/72551.72555
– volume: vol. 2
  start-page: 496
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB67
  article-title: A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme
– start-page: 858
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB62
  article-title: Logic Semantics for a Class of Committed-Choice Programs
– volume: vol. 2
  start-page: 392
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB86
  article-title: Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog
– year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB37
  article-title: Reactive Behavior Semantics for Concurrent Constraint Logic Programs
– year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB12
– start-page: 128
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB92
  article-title: Performance and Architectural Evaluation of the PSI Machine
– start-page: 317
  year: 1984
  ident: 10.1016/0743-1066(94)00038-8_BIB103
  article-title: Efficient Stream/Array Processing in Logic Programming Language
– year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB4
  article-title: Two Fundamental Issues in Multiprocessing
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB30
  article-title: Information Hiding in Parallel Programs
  doi: 10.2172/10133018
– start-page: 468
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB52
  article-title: An Abstract KL1 Machine and Its Instruction Set
– start-page: 291
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB75
  article-title: Generation Type Garbage Collection for Parallel Logic Languages
– start-page: 370
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB41
  article-title: Experiments with Speculative Parallelism in Parlog
– year: 1989
  ident: 10.1016/0743-1066(94)00038-8_BIB93
– year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB58
  article-title: A Mode Analyzer for FGHC Programs in a Model Generation Theorem Prover
– start-page: 425
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB71
  article-title: Architecture and Implementation of PIM/m
– start-page: 840
  year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB45
  article-title: CARMEL-4: The Unify-Spawn Machine for FCP
– volume: 11
  start-page: 271
  issue: 3–4
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB99
  article-title: A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation
  publication-title: New Generation Computing
  doi: 10.1007/BF03037179
– start-page: 487
  year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB26
  article-title: Detection and Optimization of Suspension-Free Logic Programs
– year: 1986
  ident: 10.1016/0743-1066(94)00038-8_BIB77
  article-title: Implementing Meta-Interpreters and Compilers for Parallel Logic Languages in Prolog
– start-page: 478
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB54
  article-title: Schedule Analysis of Concurrent Logic Programs
– volume: 4
  start-page: 1030
  issue: 9
  year: 1993
  ident: 10.1016/0743-1066(94)00038-8_BIB49
  article-title: Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
  publication-title: IEEE Transactions on Parallel and Distributed Computing
  doi: 10.1109/71.243529
– volume: volume 2
  start-page: 513
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB47
  article-title: A Sequential Abstract Machine for Flat Concurrent Prolog
– start-page: 791
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB57
  article-title: Implementing Streams on Parallel Machines with Distributed Memory
– year: 1988
  ident: 10.1016/0743-1066(94)00038-8_BIB21
  article-title: Implementation of Committed-Choice Logic Languages on Shared-Memory Multiprocessors
– start-page: 171
  year: 1981
  ident: 10.1016/0743-1066(94)00038-8_BIB16
  article-title: A Relational Language for Parallel Programming
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB91
– start-page: 799
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB104
  article-title: Message-Oriented Parallel Implementation of Moded Flat GHC
– volume: vol. 2
  start-page: 46
  year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB88
  article-title: The Logix System User Manual
– start-page: 239
  year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB98
  article-title: Concurrent Logic Programs a la Mode
– year: 1994
  ident: 10.1016/0743-1066(94)00038-8_BIB61
  article-title: Dynamic Term Size Computation in Logic Programs via Program Transformation
– start-page: 324
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB100
  article-title: Global Analysis for Partitioning Non-Strict Programs into Sequential Threads
– start-page: 723
  year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB68
  article-title: Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c
– start-page: 175
  year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB25
  article-title: Concurrent Logic Languages: Asynchronism and Language Comparison
– year: 1990
  ident: 10.1016/0743-1066(94)00038-8_BIB29
– year: 1992
  ident: 10.1016/0743-1066(94)00038-8_BIB55
  article-title: Compiling Concurrent Logic Programming Languages
– year: 1987
  ident: 10.1016/0743-1066(94)00038-8_BIB94
– year: 1991
  ident: 10.1016/0743-1066(94)00038-8_BIB2
SSID ssj0001115
Score 1.2634019
Snippet This article surveys the field of implementation of concurrent logic programming languages. I briefly review language semantics and programming paradigms,...
SourceID pascalfrancis
crossref
elsevier
SourceType Index Database
Enrichment Source
Publisher
StartPage 89
SubjectTerms Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Programming languages
Software
Software engineering
Title The deevolution of concurrent logic programming languages
URI https://dx.doi.org/10.1016/0743-1066(94)00038-8
Volume 23
WOSCitedRecordID wos0743106694000388&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: ScienceDirect database
  customDbUrl:
  eissn: 1873-5789
  dateEnd: 20001231
  omitProxy: false
  ssIdentifier: ssj0001115
  issn: 0743-1066
  databaseCode: AIEXJ
  dateStart: 19950101
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3JS-UwGA-iHgYGl1kYV3JwYOZQpm3SJjmKKOOCzEHl3UqzgaD1Yd-If75fm6UdRZ4e5lIe32sSyO_rtyTfgtCe6W4JFQVPVVqTUGLSRJalTDJNDChcSmV_g391xs7P-WQi_vjGiW3fToA1DX98FNP_CjXQAOwudfYdcMdJgQC_AXR4AuzwfDPw2pgHv4iLG2-Ur8PUi7oQlXXbnROEE8t2bKd2k4yKSrwYFR3-44PTIZ9B-3S6YojVc0daXv-OpE5fszR1rVCCiHQpwZ4V8pG8c-1_vObM3GsvhLI7H4gTg-Us6Pdc9LeSCR8UUbh8f6afYtQgKQjlXe3XpZwVAkTY0v7x4eQkKl4Q20WsugoLhUzJrPwVaT8E_ekXfs0S-TitW_g-rGtsMrI2LtbQincT8L6Ddx0tmOYTWvUuA_YCuQVS6MoRaJ-RAOzwiAHwncUDA-AeSjyCEkcG-IIujw4vDn4nvkFGosCunCXKlhosNpMrkqcWXF2tbF1IoQirM0GlqpnUXNHMaJ3lzIjSFCqtmQKXqha8Jl_RYnPXmG8IK2sZE1Iqy0vKdMo1IwXLuakFpSVnG4iEzaqUrx7fNTG5qUKYYLfFVbfFlaBVv8UV30BJHDV11VPmvM8CDpW3AJ1lVwEvzRm58w9scTnPNJtz_t9CH4bPYxstzu7_mh20rB5m1-39rue0JwbLfqI
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+deevolution+of+concurrent+logic+programming+languages&rft.jtitle=The+journal+of+logic+programming&rft.au=TICK%2C+E&rft.date=1995-05-01&rft.pub=Elsevier&rft.issn=0743-1066&rft.volume=23&rft.issue=2&rft.spage=89&rft.epage=123&rft_id=info:doi/10.1016%2F0743-1066%2894%2900038-8&rft.externalDBID=n%2Fa&rft.externalDocID=3534804
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0743-1066&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0743-1066&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0743-1066&client=summon