fpst@hubcap.UUCP (Steve Stevenson) (06/21/88)
[ Jean sends his thanks to all who contributed. I edited the
title and that part was lost.
Steve
]
Hi,
Below is a list of some papers that may help B. Fagin and other people
willing to dive into Parallel Logic programming. The list was extracted from
our own database of 1100 entries. Both the complete and this summary are, by
definition, incomplete, unsound, inconsistent, and may not contain the
prominent items. Sorry for the inconvenience, and please send any paper
that has been omitted (not forgetting the full info on it), so that we can
improve it, to: ECRC, Computer Architecture Group, Arabellastr 17, D-8000
Muenchen 81, BRD.
@InProceedings (pdf0011,
Key="Rieger",
Author="Chuck Rieger",
Title="ZMOB: a new computing engine for AI",
Pages="955-961",
Year="1981",
Month="August",
BookTitle="IJCAI 7")
@comment{Keywords="architecture,zmob"}
@InProceedings (pdf0020,
Key="Wise",
Author="Michael J. Wise",
Title="A parallel Prolog: the construction of a data driven model",
Pages="56-66",
Year="1982",
Month="August",
BookTitle="ACM Conf. on LISP and functional programming")
@comment{Keywords="parallel,prolog"}
@TechReport (pdf0031,
Key="Rieger",
Author="C. Rieger",
Title="ZMOB: a new engine for ai",
Year="1981",
Month="August",
Institution="University of Maryland",
Type="Internal Report")
@comment{Keywords="zmob,architecture"}
@TechReport (pdf0032,
Key="Bane",
Author="John Bane",
Title="ZMOB: a highly parallel multiprocessor",
Address="College Park MD20742",
Year="1980",
Month="May",
Institution="University of Maryland",
Number="TR 911")
@comment{Keywords="zmob,architecture"}
@InProceedings (pdf0037,
Key="Uchida",
Author="Shunichi Uchida",
Title="Inference machine: from sequential to parallel",
Pages="410-416",
Year="1983",
Month="June",
Editor="ACM",
BookTitle="10th Symp. on Comp. Architecture")
@comment{Keywords="inference,machine,ICOT,fgcs"}
@InProceedings (pdf0039,
Key="Umeyama and Tamura",
Author="Shinji Umeyama and Koichiro Tamura",
Title="A parallel execution model of logic programs",
Pages="349-355",
Year="1983",
Month="June",
Editor="ACM",
BookTitle="10th Symp on Comp. Architecture")
@comment{Keywords="parallel,logic"}
@Article (pdf0047,
Key="Goto",
Author="Atsuhiro Goto",
Title="Highly parallel inference machine PIE",
Journal="New Generation Computing",
Pages="20",
Year="1983")
@comment{Keywords="parallel,inference,architecture"}
@Article (pdf0054,
Key="Ciepielewski and Haridi",
Author="Andrzej Ciepielewski, S. Haridi",
Title="A formal model for or-parallel execution of logic programs",
Journal="IFIP 83",
Pages="299-305",
Year="1983",
Month="October",
note="North Holland")
@comment{Keywords="parallel_or,inference,logic"}
@TechReport (pdf0057,
Key="Onai",
Author="Rikio Onai",
Title="The proposal for a prolog machine based on reduction",
Year="1982",
Month="December",
Institution="ICOT",
Number="TM004")
@comment{Keywords="prolog,reduction,architecture"}
@TechReport (pdf0073,
Key="Taylor",
Author="Stephen Taylor",
Title="Prolog on the DADO machine",
Year="1984",
Month="March",
Institution="Columbia University",
Type="Internal Report")
@comment{Keywords="logic,prolog,parallel"}
@InProceedings (pdf0076,
Key="Taylor et al.",
Author="S. Taylor, A. Lowry, G.Q. Maguire Jr., S.J. Stolfo",
Title="Logic Programming using Parallel Associative Operations",
Year="1984",
Month="February",
BookTitle="International Symposium on Logic Programming",
City="Atlantic City",
Pages="58-68")
@comment{Keywords="dado,unification,join,purge"}
@InProceedings (pdf0095,
Key="Darlington",
Author="J. Darlington",
Title="Alice and the parallel evaluation of logic programs",
Pages="21",
Address="Imperial College London",
Year="1983",
Month="June",
Editor="ACM",
BookTitle="10th Symp. on Comp. Architecture")
@comment{Keywords="alice,logic,architecture,parlog"}
@TechReport (pdf0097,
Key="Ito and Shimizu",
Author="Noriyoshi Ito and Hajime Shimizu",
Title="Execution mechanism for pure and concurrent prolog on a data flow based parallel inference engine",
Year="1984",
Month="August",
Institution="Institute for New Generation Computer Technology, Oki Electric Co.")
@comment{Keywords="data_flow,Prolog"}
@TechReport (pdf0100,
Key="Shapiro",
Author="Ehud Shapiro",
Title="The Bagel: A systolic concurrent prolog machine",
Address="Rehovot",
Year="1983",
Month="November",
Institution="The Weizmann Institute of Science")
@comment{Keywords="Prolog,architecture,data_flow"}
@TechReport (pdf0101,
Key="Bic",
Author="Lubomir Bic",
Title="A data driven model for parallel interpretation of logic programs",
Address="Irvine",
Year="1984",
Month="January",
Institution="University of California")
@comment{Keywords="languages"}
@TechReport (pdf0104,
Key="Castan",
Author="Michel Castan",
Title="A distributed interpreting model for parallel execution of prolog programs",
Address="Toulouse CEDEX",
Year="1984",
Month="January",
Institution="Laboratoire 'Langages et Systemes Informatiques'")
@comment{Keywords="Prolog,unification"}
@TechReport (pdf0115,
Key="Hirakawa",
Author="Hideki Hirakawa",
Title="Eager and lazy enumerations in concurrent prolog",
Address="Tokyo",
Year="1984",
Month="August",
Institution="Institute for New Generation Computer Technology, ICOT")
@TechReport (pdf0134,
Key="Clark and Gregory",
Author="Keith L. Clark and Steve Gregory",
Title="Parlog: A parallel logic programming language",
Address="London",
Year="1983",
Month="May",
Institution="Department of Computing, Imperial College")
@comment{Keywords="parlog,languages"}
@TechReport (pdf0135,
Key="Broda and Gregory",
Author="Krysia Broda and Steve Gregory",
Title="Parlog for discrete event simulation",
Address="London",
Year="1983",
Month="December",
Institution="Department of Computing, Imperial College")
@comment{Keywords="simulation"}
@TechReport (pdf0143,
Key="Lindstrom",
Author="Gary Lindstrom",
Title="Or-parallelism on applicative architectures",
Type="Draft",
Year="1984",
Month="January",
Institution="Laboratory for Computer Science MIT")
@comment{Keywords="unification,architecture"}
@TechReport (pdf0144,
Key="Cleary",
Author="John G. Cleary",
Title="Implementation of concurrent prolog using message passing",
Year="1984",
Month="August",
Institution="Department of Computer Science, University of Calgary")
@comment{Keywords="languages"}
@TechReport (pdf0145,
Key="Ramanujam and Shyamasunder",
Author="R. Ramanujam and R. K. Shyamasunder",
Title="Implementation of logic programs as distributed processes",
Address="Bombay",
Year="1984",
Month="August",
Institution="National Centre for Software Development and Computing Techniques")
@comment{Keywords="logic-programming"}
@TechReport (pdf0147,
Key="Eisinger",
Author="Norbert Eisinger",
Title="Logic programming: A parallel approach",
Address="Maryland",
Year="1981",
Month="December",
Institution="University of Maryland",
Number="TR-1124")
@comment{Keywords="ZMOB,architecture"}
@TechReport (pdf0148,
Key="Onai",
Author="Rikio Onai",
Title="An approach to a parallel inference machine based .......",
Address="Tokyo",
Year="1984",
Month="August",
Institution="Institute for New Generation Computer Technology ICOT")
@comment{Keywords="architecture,prolog,data-flow,PIM-F"}
@TechReport (pdf0149,
Key="Nakamura",
Author="Katsuhiko Nakamura",
Title="Associative concurrent evaluation of logic programs",
Address="Tokyo",
Year="1984",
Month="August",
Institution="School of Science and Engineering Tokyo Denki University")
@comment{Keywords="garbage-collection,architecture"}
@InProceedings (pdf0151,
Key="Crammond and Miller",
Author="J. A. Crammond and C. D. F. Miller",
Title="An architecture for parallel logic languages",
Pages="183-195",
Address="Uppsala, Sweden",
Year="1984",
Month="August",
BookTitle="2nd Int. Logic Programming Conf.")
@comment{Keywords="parlog,language,unification"}
@InProceedings (pdf0174,
Key="Smith",
Author="Bruce Smith",
Title="Logic programming on an FFP machine",
Pages="11",
Year="1984",
Month="February",
BookTitle="84 Symp on logic programming")
@comment{Keywords="fp,ffp,reduction,functional"}
@InProceedings (pdf0181,
Key="Ito",
Author="Noriyoshi Ito",
Title="Parallel inference machine based on the data flow model",
Pages="30",
Year="1984",
Month="May",
Editor="ICOT",
BookTitle="84 workshop on HLCA")
@comment{Keywords="pim,logic,architecture"}
@InProceedings (pdf0194,
Key="Diel",
Author="H. Diel",
Title="A computer architecture supporting and/or parallelism",
Pages="14",
Year="1984",
Month="October",
BookTitle="draft proc. afcet85",
Note="IBM Germany")
@comment{Keywords="parallel programming, logic programming, AND-parallelism, OR-parallelism",
remark="general overview of parallelism, application to special data base machine"}
@InProceedings (pdf0196,
Key="Ito and Masuda",
Author="Noriyoshi Ito and Kanae Masuda",
Title="Parallel inference machine based on the dataflow model",
Pages="10",
Address="LA",
Year="1984",
Month="May",
BookTitle="Intl Workshop on High level Computer Architecture 84")
@comment{Keywords="pim,fgcs,ICOT, data flow,architecture"}
@InProceedings (pdf0197,
Key="Chu and Itano",
Author="Y. Chu and K. Itano",
Title="Organization of a parallel prolog machine",
Pages="13",
Address="LA",
Year="1984",
Month="May",
BookTitle="Intl workshop on HLCA 84")
@comment{Keywords="architecture,parallelism"}
@InProceedings (pdf0198,
Key="Halim and Watson",
Author="Z. Halim and I. Watson",
Title="An or parallel data driven model for logic programs",
Pages="11",
Address="LA",
Year="1984",
Month="May",
BookTitle="Intl workshop on HLCA 84")
@comment{Keywords="data flow, architecture"}
@InProceedings (pdf0199,
Key="Ciepielewski and Haridi",
Author="A. Ciepielewski and S. Haridi",
Title="Control of activities in the or-parallel token machine",
Pages="49-57",
Year="1984",
Month="February",
BookTitle="84 IEEE logic programming conf")
@comment{Keywords="or parallel, pruning"}
@InProceedings (pdf0200,
Key="Lindstrom and Panangaden",
Author="G. Lindstrom and P. Panangaden",
Title="Stream-based execution of logic programs",
Pages="168-175",
Year="1984",
Month="February",
BookTitle="84 IEEE intl symp on logic programming")
@comment{Keywords="parallelism,substitution"}
@Article (pdf0211,
Key="Yasuhara and Nitadori",
Author="Hiroshi Yasuhara and Kazuhiko Nitadori",
Title="ORBIT: A Parallel Computing Model of Prolog",
Journal="New Generation Computing",
Pages="277 - 288",
Year="1984",
Month="July",
volume="2",
note="OHMSHA and Springer-Verlag, Tokyo")
@comment{Keywords="architecture, multi processor, or-parallelism"}
@InProceedings (pdf0223,
Key="Haridi and Ciepielewski",
Author="Seif Haridi and Andrzej Ciepielewski",
Title="An Or-parallel Token Machine",
Pages="536 - 552",
Address="Stockholm Sweden",
Year="1983",
Month="June",
Editor="Nucleo de Inteligencia Artificial, Universidade Nova de Lisboa",
BookTitle="Proc. 1983 Logic Programming Workshop")
@comment{Keywords="architecture"}
@InProceedings (pdf0229,
Key="Pereira and Nasr",
Author="Luis Moniz Pereira and Roger Nasr",
Title="Delta-Prolog: a distributed logic programming language",
Pages="283-291",
Year="1984",
Month="November",
BookTitle="Proc. Int. Conf. on Fifth Gen. Comp. Sys., ICOT84")
@comment{Keywords="parallel,concurrent,synchro,event"}
@InProceedings (pdf0231,
Key="Ueda and Shikayama",
Author="Kasunori Ueda and Takashi Shikayama",
Title="Efficient stream/array processing in logic programming languages",
Pages="317-326",
Year="1984",
Month="November",
BookTitle="ICOT Conf. 84")
@comment{Keywords="stream, and,or,concurrent"}
@InProceedings (pdf0238,
Key="Hasegawa and Amamiya",
Author="Ryozu Hasegawa and Makoto Amamiya",
Title="Parallel execution of logic programs based on Dataflow Concept",
Pages="507-516",
Year="1984",
Month="November",
BookTitle="ICOT Conf. 84")
@comment{Keywords="DFM,parallel,or,and,lazy,eager"}
@TechReport (pdf0251,
Key="Ueda and Chikayama",
Author="Kazunori Ueda, Takashi Chikayama",
Title="Efficient Stream/Array Processing in Logic Programming Language",
Year="1984",
Month="April",
Institution="ICOT",
Number="TR-065")
@TechReport (pdf0253,
Key="Furukawa et al.",
Author="Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji",
Title="Mandala: A Concurrent Prolog Based Knowledge Programming Language/System",
Year="1983",
Month="November",
Institution="ICOT",
Number="TR-029")
@InProceedings (pdf0266,
Key="DeGroot",
Author="Doug DeGroot",
Title="Restricted And-parallelism",
Pages="471-478",
Year="1984",
Month="November",
Editor="ICOT",
BookTitle="Proc. of FGCS84")
@comment{Keywords="logic prolog"}
@Article (pdf0267,
Key="Goto et al.",
Author="A. Goto, H. Tanaka, T Moto-Oka",
Title="Highly parallel inference engine PIE: goal-rewriting model...",
Journal="New generation Computing",
Pages="37-58",
Year="1984",
Month="March",
volume="2",
note="OHMSHA")
@comment{Keywords="prolog,or,and,pipeline,unification,simulation"}
@InProceedings (pdf0268,
Key="Moto-Oka et al.",
Author="T. Moto-Oka, H. Tanaka, H. Aida, K. Hirata, T. Maruyama",
Title="The architecture of a parallel inference engine - PIE -",
Pages="479-488",
Year="1984",
Month="November",
Editor="ICOT",
BookTitle="Proc. FGCS 84")
@comment{Keywords="prolog,or,and,pipeline,unification,simulation"}
@TechReport (pdf0269,
Key="Ito et al.",
Author="Noriyoshi Ito, K. Masuda, H. Shimizu",
Title="Parallel prolog machine based on the data flow model",
Year="1983",
Month="August",
Number="TR-035",
Institution="ICOT")
@comment{Keywords="and,or"}
@InProceedings (pdf0272,
Key="Borgwardt",
Author="Peter Borgwardt",
Title="Parallel prolog using stack segments on shared memory multiprocessors",
Pages="2-11",
Year="1984",
Month="February",
Editor="IEEE",
BookTitle="84 Int. Symposium on Logic Programming")
@comment{Keywords="annotations, architecture, modes,stream"}
@InProceedings (pdf0273,
Key="Kacsuk",
Author="Peter Kacsuk",
Title="A highly parallel prolog based on the generalised DF model",
Pages="195-205",
Address="Uppsala, Sweden",
Year="1984",
Month="July",
BookTitle="2nd Int. Logic Programming Conference")
@comment{Keywords="or, and, tree"}
@InProceedings (pdf0274,
Key="Murakami et al.",
Author="K. Murakami, T. Kakuta, R. Onai",
Title="Architectures and hardware systems: PIM and KB machine",
Pages="18-36",
Year="1984",
Month="November",
Editor="ICOT",
BookTitle="Proc. FGCS 84")
@comment{Keywords="overview, parallel, prolog, architecture"}
@TechReport (pdf0276,
Key="Clark and Gregory",
Author="K. Clark, S. Gregory",
Title="Parlog: parallel programming in logic",
Year="1984",
Month="April",
Institution="Imperial College London",
Number="DOC 84/4")
@comment{Keywords="parallelism, or, and, stream, synchro"}
@TechReport (pdf0277,
Key="Kasif and Minker",
Author="S. Kasif, J. Minker",
Title="The intelligent channel: a scheme for result sharing in parallel logic programs",
Year="1985",
Month="January",
Institution="U. of Maryland",
Type="Internal Report")
@comment{Keywords="parallelism, or, and, prism"}
@InProceedings (pdf0278,
Key="Conery and Kibler",
Author="J. S. Conery, D.F. Kibler",
Title="Parallel interpretation of logic programs",
Pages="163-170",
Year="1981",
Month="October",
Editor="ACM",
BookTitle="Proc. conf. on functional programming languages and computer architecture")
@comment{Keywords="or, and, parallelism"}
@TechReport(pdf0306,
Key="Ito and Masuda",
Author="Noriyoshi Ito and Kanae Masuda",
Title="Parallel Inference Machine Based on the Data Flow Model",
Institution="ICOT",
Number="TR-033",
Month="December",
Year="1983")
@InProceedings(pdf0319,
Key="Kahn",
Author="Kenneth M. Kahn",
Title="A Primitive for the Control of Logic Programs",
Organization="UPMAIL, Uppsala",
BookTitle="1984 Int. Symp. on Logic Programming",
Editor="IEEE",
Pages="242-251",
Month="February",
Year="1984")
@comment{keywords="or-parallelism, control predicate, all solutions"}
@PhDThesis(pdf0322,
Key="Pollard",
Author="George H. Pollard",
Title="Parallel Execution of Horn Clause Programs",
School="University of London, Imperial College",
Year="1981",
Note="published by British Telecommunications")
@Article(pdf0330,
Key="DeGroot and Chang",
Author="D. DeGroot, J.H. Chang",
Title="A comparison of two AND-parallel execution models",
Journal="Congres AFCET Informatique",
Month="March",
Year="1985",
Note="in english")
@PhDThesis(pdf0341,
Key="Ciepielewski",
Author="Andrzej Ciepielewski",
Title="Towards a Computer Architecture for Or-Parallel Execution of Logic Programs",
School="Royal Institute of Technology, Stockholm",
Month="May",
Year="1984")
@comment{keywords="or-parallelism, and-parallelism, storage structures, multiprocessor, control flow, distributed abortion mechanism",
in Klaus Estenfeld's library}
@Article(pdf0354,
Key="Conery and Kibler",
Author="J.S. Conery, D.F. Kibler",
Title="AND Parallelism and Nondeterminism in Logic Programs",
Journal="New Generation Computing",
Number="3",
Pages="43-70",
Year="1985")
@comment{keywords="nondeterminism, process model, and parallelism, or
parallelism, intelligent backtracking"}
@Article(pdf0355,
Key="Ito et al.",
Author="N. Ito, H. Shimizu, M. Kishi, E. Kuno, K. Rokusawa",
Title="Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog",
Journal="New Generation Computing",
Number="3",
Pages="15-41",
Year="1985")
@comment{keywords="parallel processing, data flow model, logic programming
language, unification, nondeterminism"}
@TechReport(pdf0400,
Key="Syre and Westphal",
Author="Jean Claude Syre and Harald Westphal",
Title="A Review of Parallel Models for Prolog",
Institution="ECRC",
Number="CA-07",
Month="June",
Year="1985")
@TechReport(pdf0415,
Key="Cunha and Aparicio",
Author="J.C. Cunha and J.N. Aparicio",
Title="Delta-Prolog Implementation - Progress Report No. 1",
Institution="Universidade Nova de Lisboa",
Number="UNL-6/84",
Type="Progress Report",
Month="December",
Year="84")
@Article(pdf0420,
Key="Bibel and Buchberger",
Author="W. Bibel and B. Buchberger",
Title="Toward a Connection Machine for Logical Inference",
Journal="Future Generations Computer Systems",
Volume="1",
Number="3",
Pages="177 - 188",
Month="February",
Year="1985")
@Article(pdf0422,
Key="Murakami et al.",
Author="K. Murakami, T. Kakuta, R. Onai and N. Ito",
Title="Research on Parallel Machine Architecture for Fifth-Generation Computer Systems",
Journal="Computer",
Pages="76 - 92",
Month="June",
Year="1985")
@comment{Keyword="ICOT,Delta,PIM-R,PIM-D"}
@Article(pdf0435,
Key="Onai et al.",
Author="R. Onai, M. Aso, H. Shimizu, K. Masuda, A. Matsumoto",
Title="Architecture of a Reduction-Based parallel Inference Machine: PIM-R",
Journal="New Generation Computing",
Volume="3",
Number="2",
Pages="197-228",
Year="1985")
@comment{keywords="parallel inference machine, reduction, prolog, concurrent prolog, or-parallel, and-parallel"}
@InProceedings(pdf0438,
Key="Sohma et al.",
Author="Yukio Sohma, Ken Satoh, Koichi Kumon, Hideo Masuzawa, Akihiro Itashiki",
Title="A New Parallel Inference Mechanism Based on Sequential Processing",
BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
Editor="UMIST",
Address="Manchester",
Month="July 15-18",
Year="1985")
@comment{keywords="OR-parallelism, KABU WAKE method,PIM",
Organization="Fujitsu",}
@InProceedings(pdf0439,
Key="Diel",
Author="H. Diel",
Title="Types of Parallelism in Machine Architectures Supporting Logic Programming",
BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
Editor="UMIST",
Address="Manchester",
Month="July 15-18",
Year="1985")
@comment{Organization="IBM Boeblingen, Germany",}
@InProceedings(pdf0443,
Key="Shibayama et al.",
Author="Shigeki Shibayama, Kazuhide Iwata, Hiroshi Sakai",
Title="A Knowledge Base Architecture and its Experimental Hardware",
BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
Editor="UMIST",
Address="Manchester",
Month="July 15-18",
Year="1985")
@comment{Organization="Toshiba, Japan",}
@InProceedings(pdf0444,
Key="Giloi and Beer",
Author="Wolfgang Giloi, Joachim Beer",
Title="The German Parallel Prolog Machine Development",
BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
Editor="UMIST",
Address="Manchester",
Month="July 15-18",
Year="1985",
Note="(abstract)")
@comment{Organization="GMD-FIRST, TU Berlin",}
@InProceedings(pdf0460,
Key="Naish",
Author="L. Naish",
Title="All solutions predicates in Prolog",
BookTitle="1985 Symposium on Logic programming",
Editor="IEEE",
Pages="73-77",
Month="July",
Year="1985")
@InProceedings(pdf0461,
Key="Dembinski",
Author="P. Dembinski",
Title="AND-parallelism with intelligent backtracking for annotated logic programs",
BookTitle="1985 Symposium on Logic Programming",
Editor="IEEE",
Pages="29-38",
Month="July",
Year="1985")
@InProceedings(pdf0462,
Key="Lee and Goebel",
Author="R. Lee, R. Goebel",
Title="Concurrent Prolog in a multi process environment",
BookTitle="1985 Symposium on Logic programming",
Editor="IEEE",
Pages="100-109",
Month="July",
Year="1985")
@InProceedings(pdf0463,
Key="Miyazaki et al.",
Author="T. Miyazaki, A. Takeuchi, T. Chikayama",
Title="A sequential implementation of Concurrent Prolog based on the shallow binding scheme",
BookTitle="1985 Symposium on Logic Programming",
Editor="IEEE",
Pages="110-126",
Month="July",
Year="1985")
@InProceedings(pdf0464,
Key="Chang and Despain",
Author="J.H. Chang, A.M. Despain",
Title="Semi intelligent backtracking of Prolog based on static data dependency analysis",
BookTitle="1985 Symposium on Logic Programming",
Editor="IEEE",
Pages="10-21",
Month="July",
Year="1985",
Note="aquarius, PLM1, plm, berkeley")
@TechReport(pdf0469,
Key="Ueda",
Author="Kazunori Ueda",
Title="Guarded Horn Clauses",
Institution="ICOT",
Number="TR-103",
Month="June",
Year="1985")
@TechReport (pdf0474,
Key="Keller et al.",
Author="R.M. Keller, G. Lindstrom, S. Patil",
Title="An Architecture for a Loosely-coupled Parallel Processor",
Institution="University of Utah",
Number="UUCS-78-105",
Month="October",
Year="1978")
@comment{Keywords="applicative progra parallelelism, reduction machine, tagged architecture"}
@InProceedings(pdf0495,
Key="Crammond",
Author="J. Crammond",
Title="A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages",
Organization="IEEE",
BookTitle="Int. Conf. on Parallel Processing",
Editor="D. DeGroot",
Address="St. Charles, Ill.",
Pages="131-138",
Month="August",
Year="1985")
@TechReport(pdf0508,
Key="Syre",
Author="Jean-Claude Syre",
Title="A review of computer architectures for functional and logic programming systems",
Institution="ECRC",
Number="CA-09",
Type="Technical Report",
Month="July",
Year="1985")
@TechReport(pdf0515,
Key="Lee",
Author="R. K. Lee",
Title="Concurrent Prolog in a multi-process environment",
Institution="Faculty of Mathematics University of Waterloo, Ontario, Canada",
Number="CS-84-46",
Month="November",
Year="1984")
@Manual(pdf0532,
Key="Shapiro et al.",
Author="E. Shapiro, W. Silverman, A. Houri, M. Hirsch",
Title="Logix, User Manual for Release 1.1",
Organization="Weizmann Institute of Science",
Year="1985")
@InProceedings(pdf0636,
Key="Yamaguchi et al.",
Author="T. Yamaguchi, Y. Tezuka, O. Kakusho",
Title="Parallel Processing of Resolution",
BookTitle="IJCAI85",
Pages="1178-1180",
Month="August",
Year="1985")
@TechReport(pdf0657,
Key="Hailperin and Westphal",
Author="Max Hailperin and Harald Westphal",
Title="A Computational Model for PEPSy",
Institution="ECRC",
Number="CA-16",
Year="1986")
@TechReport(pdf0659,
Key="Ratcliffe and Robert",
Author="M. J. Ratcliffe and P. Robert",
Title="PEPSy: A Prolog for Parallel Processing",
Institution="ECRC",
Number="CA-17",
Month="March",
Year="1986")
@Article(pdf0660,
Key="Clark and Gregory",
Author="K. Clark and S. Gregory",
Title="PARLOG: Parallel Programming in Logic",
Journal="acm Transactions on Programming Languages and Systems",
Volume="8",
Number="1",
Pages="1-49",
Month="January",
Year="1986")
@Article(pdf0668,
Key="Halim",
Author="Z. Halim",
Title="A Data-Driven machine for OR-Parallel Evaluation of Logic Programs",
Journal="New Generation Computing",
Volume="4",
Number="1",
Pages="5-33",
Year="1986")
@Article(pdf0683,
Key="Tanaka",
Author="Hidehiko Tanaka",
Title="A Parallel Inference Machine",
Journal="IEEE Computer",
Volume="19",
Number="5",
Pages="48,54",
Month="may",
Year="1986")
@Article(pdf0686,
Key="Sterling and Codish",
Author="Leon Sterling and Mike Codish",
Title="Pressing For Parallelism: A Prolog Program made Concurrent",
Journal="The Journal of Logic Programming",
Volume="3",
Number="1",
Pages="75 - 92",
Year="1986")
@InProceedings(pdf0691,
Key="Citrin",
Author="Wayne Citrin",
Title="Extracting Parallelism from Sequential Prolog: Experiences with the Berkeley PLM",
Organization="University of California, Berkeley",
BookTitle="BBC Workshop on Knowledge Based Systems in Industry",
Month="June",
Year="1986")
@Article(pdf0707,
Key="Onai et al.",
Author="Rikio Onai, Hajime Shimizu, Kanae Masuda and Moritoshi Aso",
Title="Analysis of Sequential Prolog Programs",
Journal="Journal of Logic Programming",
Volume="3",
Number="2",
Pages="119 - 141",
Month="july",
Year="1986")
@TechReport(pdf0708,
Key="Wilk",
Author="P.F. Wilk",
Title="Prolog Benchmarking",
Institution="Artificial Intelligence Applications Institute",
Number="AIAI - TR - 14",
Month="Jan.",
Year="1986")
@Misc(pdf0716,
Key="Clocksin and Alshawi",
Author="W.F. Clocksin and H. Alshawi",
Title="A Method for Efficiently Executing Horn Clause Programs Using
Multiple Processors",
Institution="Computer Laboratory, University of Cambridge",
Type="Draft, submitted for publication",
Month="May",
Year="1986")
@Misc(pdf0717,
Key="Ali et al.",
Author="K. M. Ali, L. Fahlen, R. Karlsson",
Institution="SICS",
Title="BC-Machine: A Multiprocessor for Fast OR-Parallel Execution of Logic Programs",
Year="1986")
@PhDThesis(pdf0724,
Key="Ueda",
Author="Kazunori Ueda",
Title="Guarded Horn Clauses",
School="University of Tokyo",
Month="March",
Year="1986")
@TechReport(pdf0726,
Key="Sugie et al.",
Author="Mamoru Sugie, et al.",
Title="The Kernel Benchmarks for the Parallel Inference Machine (PIM)",
Institution="Hitachi Central Research Laboratory",
Month="August",
Year="1986")
@InProceedings(pdf0728,
Key="Hermenegildo and Nasr",
Author="M. de Hermenegildo and R.I. Nasr",
Title="Efficient management of backtracking in AND-parallelism",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="40-54",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0729,
Key="Lin et al.",
Author="Y.-J. Lin, V. Kumar, and C. Leung",
Title="An intelligent backtracking algorithm for parallel execution of logic programs",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="55-68",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0730,
Key="Pereira et al.",
Author="L.M. Pereira, L. Monteiro, J. Cunha, and J.N. Aparicio",
Title="Delta Prolog: a distributed backtracking extension with events",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="69-83",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0731,
Key="Yang and Aiso",
Author="R. Yang and H. Aiso",
Title="P-Prolog: a parallel logic language based on exclusive relation",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="255-269",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0733,
Key="Codish and Shapiro",
Author="M. Codish and E. Shapiro",
Title="Compiling OR-parallelism into AND-parallelism",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="283-297",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0734,
Key="Levy",
Author="J. Levy",
Title="Shared memory execution of committed-choice languages",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="298-312",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@InProceedings(pdf0735,
Key="Butler et al.",
Author="R. Butler, E. Lusk, W. McCune, and R. Overbeek",
Title="Parallel logic programming for numeric applications",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="375-388",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@Misc(pdf0740,
Key="Khabaza",
Author="Tom Khabaza",
Title="Reconciliation for AND/OR-parallelism",
HowPublished="Handout at Megalips@+[+] workshop, Manchester",
Month="July",
Year="1986")
@InProceedings(pdf0741,
Key="Kumon et al.",
Author="K. Kumon, H. Masuzawa, A. Itashiki",
Title="Kabu-Wake: A new parallel inference method and its evaluation",
BookTitle="Proc. IEEE COMPCON 86",
Address="San Francisco",
Pages="168-172",
Month="March",
Year="1986")
@TechReport(pdf0785,
Key="Shapiro",
Author="E. Shapiro",
Title="Concurrent Prolog: a Progress report",
Institution="Weizmann Institute",
Number="CS-86-10",
Type="internal report",
Month="April ",
Year="1986")
@InProceedings(pdf0808,
Key="Borgwardt and Rea",
Author="P. Borgwardt, D. Rea",
Title="Distributed Semi-Intelligent backtracking for a Stack-based AND-parallel Prolog",
BookTitle="Proc. 1986 Symposium on Logic Programming",
Address="Salt Lake City, Utah",
Pages="211-222",
Month="September",
Year="1986")
@InProceedings(pdf0809,
Key="Li and Martin",
Author="P.P. Li, A.J. Martin",
Title="The Sync Model: A Parallel Execution Method for Logic Programming",
BookTitle="Proc. 1986 Symposium on Logic Programming",
Address="Salt Lake City, Utah",
Pages="223-234",
Month="September",
Year="1986")
@InProceedings(pdf0810,
Key="Ciepielewski and Hausman
n",
Author="A. Ciepielewski, B. Hausmann",
Title="Performance Evaluation of a Storage Model for OR-parallel Execution of Logic Programs",
BookTitle="Proc. 1986 Symposium on Logic Programming",
Address="Salt Lake City, Utah",
Pages="246-257",
Month="September",
Year="1986")
@Unpublished(pdf0816,
Key="Beer and Giloi",
Author="J. Beer and W.K. Giloi",
Title="POPE - a Parallel-Operating Prolog Engine",
Year="86",
Note="to be published in New Generation Computing")
@InProceedings(pdf0821,
Key="Masuzawa et al.",
Author="H. Masuzawa, et al.",
Title="Kabu Wake parallel inference mechanism and its evaluation",
Organization="IEEE",
BookTitle="1986 FJCC",
Pages="955-962",
Month="November",
Year="1986")
@comment{Note="or parallel performance queens"}
@Unpublished(pdf0824,
Key="Carlsson et al.",
Year="1987",
Author="M. Carlsson, E. L. Lusk, R. Overbeek, D.H.D. Warren",
Title="Maintaining Multiple Binding Environments to Support OR-Parallelism")
@PhDThesis(pdf0826,
Key="Hermenegildo",
Author="Manuel V. Hermenegildo",
Title="An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel",
School="Dept. of Computer Sciences, The University of Texas at Austin",
Month="August",
Year="1986",
Note="TR-86-20")
@InProceedings(pdf0828,
Key="Taki",
Author="Kazuo Taki",
Title="The Parallel Software Research and Development Tool: Multi-PSI System",
Organization="ICOT",
BookTitle="France-Japan Artificial Intelligence and Computer Science Symposium",
Pages="365-381",
Year="1986")
@TechReport(pdf0829,
Key="Ciepielewski",
Author="A. Ciepielewski",
Title="Parallel SICStus Prolog - Preliminary Definition",
Institution="SICS, Sweden",
Month="November",
Year="1986")
@InProceedings(pdf0831,
Key="Hirata et al.",
Author="Keiji Hirata, Tsutomu Maruyama, Hidehiko Tanaka",
Title="Ground-Instance Sharing for Parallel Inference Machines",
Organization="University of Tokyo",
BookTitle="Fourth ICLP",
Address="Melbourne",
Year="1987",
Note="(submitted)")
@TechReport(pdf0845,
Key="deKergommeaux et al.",
Author="J. Chassin de Kergommeaux, P. Robert, H. Westphal",
Title="An Abstract Machine for the Implementation of the PEPSys Model",
Institution="ECRC",
Number="CA-26",
Type="Technical report",
Month="February",
Year="1987")
@comment{"NOT in the data base"}
@TechReport(pdf0848,
Key="Levy",
Author="Jacob Levy",
Title="A GHC Abstract Machine and Instruction Set",
Institution="Weizmann Institute of Science",
Number="CS-85-11",
Type="Internal Report",
Month="December",
Year="1985")
@InProceedings(pdf0849,
Author="M. Kharoune, A. Aggoune",
Key="Kharoune and Aggoune",
Title="Deux Approches du Parallelisme ET en Prolog.",
Organization="CNET Lannion",
Address="Tregastel",
BookTitle="Seminaire de Programmation en Logique",
Pages="586-607",
Year="1986")
@InProceedings(pdf0851,
Author="D. H. D. Warren",
Key="Warren",
Title="Or-parallel Execution Models of Prolog",
Organization="DCS, University of Manchester",
BookTitle="TAPSOFT 87, Joint Conference on Theory and Practice of Software Development",
Address="Pisa",
Month="March",
Year="1987",
Note="invited paper")
@Unpublished(pdf0852,
Author="K. M. Ali",
Key="Ali",
Title="OR-Parallel Execution of Prolog on a Multi-Sequential Machine",
Year="87",
Note="Accepted for publication in IJPP")
@InProceedings(pdf0853,
Author="K. M. Ali",
Key="Ali",
Title="A Method for Implementing Cut in Parallel Execution of Prolog",
BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
Year="1987")
@TechReport(pdf0854,
Author="Rong Yang and Hideo Aiso",
Key="Yang and Aiso",
Title="Memory Management for Multiple Environments - Implementation of P-Prolog (1)",
Institution="Keio University",
Type="conference submission",
Month="January",
Year="1987")
@InProceedings(pdf0855,
Author="Ross Overbeek",
Key="Overbeek",
Title="ANL-WAM Synchronization Issues: An Overview",
BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
Year="1987")
@InProceedings(pdf0856,
Author="Bogumil Hausmann, Seif Haridi, Andrzej Ciepielewski",
Key="Hausmann et al.",
Title="Parallel Prolog Made Efficient, Versions Vector WAM",
BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
Year="1987")
@InProceedings(pdf0857,
Author="D.H.D. Warren",
Key="Warren",
Title="Parallel Execution of logic Programs",
BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
Year="1987",
Note="Slides")
@PhDThesis(pdf0858,
Author="Kim Shen",
Key="Shen",
Title="An Investigation of the Argonne Model of OR-Parallel Prolog",
School="University of Manchester",
Month="November",
Year="1986")
@Book(pdf0859,
Author="J. Boyle, R. Butler, B. Glickfeld, T. Disz, E. Lusk, R. Overbeek, J. Patterson, R. Stevens",
Key="Boyle et al.",
Title="Portable Programs for Parallel Processors",
Publisher="to be published",
Year="1987")
@TechReport(pdf0865,
Author="Kish Shen",
Key="Shen",
Title="An Investigation of the Argonne Model of OR-Parallel Prolog",
Institution="Dept of Comp. Science U. of Manchester",
Number="UMCS-87-1-1",
Type="Technical report",
Month="February",
Year="1987")
@TechReport(pdf0868,
Key="Ali",
Author="Khayri A.M. Ali",
Title="A Method for Implementing Cut in Parallel Execution of Prolog",
Institution="SICS",
Type="submitted to SLP '87",
Month="February",
Year="1987")
@TechReport(pdf0869,
Author="Wen-Kai Chung and William B. Day",
Key="Chung and Day",
Title="A Study of Control Constructs in Parallel Logic Languages",
Institution="Auburn University, Alabama",
Type="submitted to SLP '87",
Month="March",
Year="1987")
@Unpublished(pdf0871,
Author="Sun Chenzheng and Tzu Yungui",
Key="Chenzheng and Yungui",
Title="The sharing of environments in AND/OR parallel execution of logic programs",
Year="1987",
Note="submitted to SLP87")
@Unpublished(pdf0872,
Author="L.V. Kale",
Key="Kale",
Title="Completeness and full parallelism of parallel logic programming schemes",
Year="1987",
Note="U Illinois, submitted to SLP87")
@Unpublished(pdf0873,
Author="John S. Conery",
Key="Conery",
Title="Binding environments for parallel LP in non shared memory systems",
Year="1987",
Note="U. of Oregon submitted to SLP87")
@TechReport(pdf0879,
Author="Jacques Chassin de Kergommeaux and Donald Peterson",
Key="Kergommeaux and Peterson",
Title="A Compilation System for PEPSys",
Institution="ECRC",
Number="16",
Type="Internal Report PEPSy",
Month="April",
Year="1987")
@TechReport(pdf0880,
Author="Philippe Robert",
Key="Robert",
Title="An Emulator for the PEPSys Abstract Machine",
Institution="ECRC",
Type="Internal Report PEPSy",
Number="17",
Month="April",
Year="1987",
Note="Only a draft")
@InProceedings(pdf0881,
Author="Akikazu Takeuchi and Koichi Furukawa",
Key="Takeuchi and Furukawa",
Title="Parallel Logic Programming Languages",
BookTitle="Third International Conference on Logic Programming",
Editor="Ehud Shapiro",
Address="London",
Pages="242-254",
Month="July",
Year="1986")
@comment{in the proceedings volume}
@TechReport(pdf0897,
Author="S. Taylor, S. Safra, and E. Shapiro",
Key="Taylor et al.",
Title="A Parallel Implementation of Flat Concurrent Prolog",
Institution="Weizmann Institute of Science",
Number="CS87-04",
Type="Internal",
Month="October",
Year="1986")
@InProceedings(pdf0899,
Author="M. Ratcliffe, J.C. Syre",
Key ="Ratcliffe and Syre",
Title="The PEPSys Parallel Logic Programming Language",
Organization="ECRC",
BookTitle="IJCAI",
City="Milano, Italy",
Month="August",
Year="1987")
@InProceedings(pdf0900,
Author="A. Ciepielewski, B. Hausman, S. Haridi",
Key ="Ciepielewski et al.",
Title="Or-parallel Prolog Made Efficient on Shared Memory Multiprocessors",
Organization="SICS",
BookTitle="Symposium on Logic Programming",
City="San Francisco",
Editor="IEEE",
Month="August",
Year="1987")
@TechReport(pdf0908,
Author="Melissa Lam and Steve Gregory",
Key="Lam and Gregory",
Title="PARLOG and ALICE: a Marriage of Convenience",
Institution="Imperial College London",
Month="March",
Year="1987")
@InProceedings(pdf0914,
Author="N. Ichiyoshi, T. Miyazaki, K. Taki",
Key="Ichiyoshi et al.",
Title="A distributed implementation of Flat GHC on the Multi-PSI",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="257-274",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0916,
Author="M. Sato, et al.",
Key="Sato et al.",
Title="KL1 Execution model for PIM Cluster with Shared Memory",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="339-355",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0919,
Author="M. Hermenegildo",
Key="Hermenegildo",
Title="Relating goel scheduling, precedence and memory management in AND parallel execution of logic programs",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="556-575",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0920,
Author="P. Tinker, G. Lindstrom",
Key="Tinker and Lindstrom",
Title="A performance oriented design for OR parallel logic programming",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="601-615",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0921,
Author="L.V. Kale",
Key="Kale",
Title="The REDUCE-OR Process Model for parallel evaluation of logic programs",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="616-632",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0922,
Author="T. Disz, E. Lusk, R. Overbeek",
Key="Disz et al.",
Title="Experiments with OR-parallel logic programs",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="576=599",
Month="May",
Year="1987",
Note="")
@InProceedings(pdf0923,
Author="J.S. Conery",
Key="Conery",
Title="Implementing backward execution in non-deterministic AND-parallel systems",
Organization="The International Conference on Logic Programming",
BookTitle="Proceedings, Melbourne, Australia",
Pages="633-653",
Month="May",
Year="1987",
Note="")
@Article(pdf0932,
Author="Madhur Kohli, Mark E. Giuliano, and Jack Minker",
Key="Kohli et al.",
Title="An Overview of the PRISM Project",
Journal="Computer Architecture News",
Volume="15",
Number="1",
Pages="35-42",
Month=" March",
Year="1987")
@TechReport(pdf0940,
Author="W. Bibel, K. Kurfess, J. Schumann, K. Aspetsberger, P. Hintenaus",
Key="Bibel et al.",
Title="Parallel inference machines",
Institution="TU Muenchen",
Number="ATP-68-II-87",
Month="February",
Year="1987")
@TechReport(pdf0941,
Author="V. A. Saraswat",
Key="Saraswat",
Title="Problems with Concurrent Prolog",
Institution="Carnegie-Mellon University",
Number="CMU-CS-86-100",
Month="January",
Year="1986")
@InProceedings(pdf0946,
Author="Barry S. Fagin and Alvin M. Despain",
Key="Fagin and Despain",
Title="Performance studies of a parallel Prolog architecture",
Organization="IEEE/ACM",
BookTitle="The 14th Annual International Symposium on Computer Architecture",
Editor="The IEEE Computer Society Press",
Pages="108 - 116",
Month="June",
Year="1987")
@TechReport(pdf0959,
Author="Gigalips Group",
Key="Gigalips",
Title="Workshop on Logic Programming and Parallelism",
Institution="SICS",
Month="July",
Year="1987")
@InProceedings(pdf0967,
Author="K. Shen, D.H.D. Warren",
Key="Shen and Warren",
Title="A Simulation Study of the Argonne Model for OR-Parallel Execution of Prolog",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="54-68",
Month="September",
Year="1987")
@InProceedings(pdf0969,
Author="D. DeGroot",
Key="DeGroot",
Title="Restricted And-Parallelism and Side Effects",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="80-89",
Month="September",
Year="1987")
@InProceedings(pdf0970,
Author="D.H.D. Warren",
Key="Warren",
Title="The SRI Model for Or-Parallel Execution of Prolog. Abstract Design and Implementation Issues",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="46-53",
Month="September",
Year="1987")
@InProceedings(pdf0971,
Author="L.V.Kale",
Key="Kale",
Title="'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="125-133",
Month="September",
Year="1987")
@InProceedings(pdf0972,
Author="T. Chikayama",
Key="Chikayama",
Title="Parallel Inference System Research in the FGCS Project",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="274-276",
Month="September",
Year="1987")
@InProceedings(pdf0974,
Author="H. Westphal, P. Robert, J. Chassin, J.-C. Syre",
Key="Westphal et al.",
Title="The PEPSys Model: Combining Backtracking, AND- and OR-parallelism",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="436-448",
Month="September",
Year="1987")
@InProceedings(pdf0975,
Author="K.A.M. Ali",
Key="Ali",
Title="A Method for Implementing Cut in Parallel Execution of Prolog",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="449-456",
Month="September",
Year="1987")
@InProceedings(pdf0976,
Author="J.S. Conery",
Key="Conery",
Title="Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="457-467",
Month="September",
Year="1987")
@InProceedings(pdf0977,
Author="Y. Kimura, T. Chikayama",
Key="Kimura and Chikayama",
Title="An Abstract KL1 Machine and its Instruction Set",
Organization="IEEE",
BookTitle="Proceedings - 1987 Symposium on Logic Programming",
Editor="The IEEE Computer Society Press",
Pages="468-477",
Month="September",
Year="1987")
@TechReport(pdf0980,
Author="F.G. McCabe",
Key="McCabe",
Title="The Sigma Machine",
Institution="Imperial College, London",
Month="March",
Year="1986")
@TechReport(pdf0983,
Author="Rong Yang",
Key="Yang",
Title="A Parallel Logic Programming Language and its Implementation",
Institution="Keio University",
Type="Thesis",
Year="1986",
Note="p-prolog")
@TechReport(pdf0985,
Author="Ivo Spigel",
Key="Spigel",
Title="PENPAL - A Programming Environment for Parallel Logic Programs",
Institution="Dept. for the Study of Intelligent Systems, Zagreb",
Month="august",
Year="1987")
@TechReport(pdf0987,
Author="Mark E. Giuliano, Madhur Kohli, Jack Minker, Deepak Sherlekar, Arcot Rajasekar",
Key="Giuliano et al.",
Title="Experiments with Parallel Logic Programming in PRISM",
Institution="University of Maryland",
Number="UMIACS-TR-87-36, CS-TR-1887",
Type="Technical Report",
Month="July",
Year="1987")
@TechReport(pdf1004,
Author="Prasenjit Biswas and Shyh-Chang Su",
Key="Biswas and Su",
Title="An Abstract Machine Model to Support Limited-OR(LOR)/Restricted-AND Parallelism(RAP) in Logic Programs",
Institution="Southern Methodist University, Dallas, Texas",
Number="87-CSE-5",
Month="July",
Year="1987")
@Unpublished(pdf1006,
Author="G.Giandonato and G. Sofi",
Key="CSELT/ESPRIT",
Title="Parallelizing Logic Programming Based Inference Engines",
Note="ESPRIT pilot project no. 26, Report Apr.86 - Sept.86, Draft",
Month="September",
Year="1987")
@InProceedings(pdf1007,
Author="Tebra, H.",
Key="Tebra",
Title="Optimistic And-Parallelism in Prolog",
Organization="Lecture Notes in Computer Science",
BookTitle="Parallel Architectures and Language Europe (PARLE)",
Editor="de Bakker, J.W., Nijman, A.J. and Treleaven, P.C.",
Pages="420-431",
Month="June",
Year="1987")
@Comment{
Keywords="stream-parallelism, and-parallelism, precedence, validation"}
@InProceedings(pdf1009,
Author="Janakiram, V.K., Agrawal, D.P. and Mehrota R.",
Key="Janakiram et al.",
Title="Randomized Parallel Algorithms for Prolog Programs and
Backtracking Applications",
Organization="The Pennsylvania State University",
BookTitle="Proceedings of the 1987 International Conference on Parallel Processing",
Editor="Sartaj K. Sahni",
Pages="278-281",
Month="August",
Year="1987")
--
Steve Stevenson fpst@hubcap.clemson.edu
(aka D. E. Stevenson), fpst@prism.clemson.csnet
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabelldfk@duke.cs.duke.edu (David Kotz) (06/21/88)
Thanks for this handy bibliography!
The BiBTeX provided was not accepted by my version of BiBTeX due to
the commas in the Author fields. The following command will edit the
file to make the necessary changes (below, the original is in orig.bib
and the new version will be in fixed.bib).
sed -e '/Author=/s/\([^"]\),/\1 and/g' \
-e '/Editor=/s/, Nijman/ and Nijman/' orig.bib > fixed.bib
David Kotz
--
Department of Computer Science, Duke University, Durham, NC 27706
ARPA: dfk@cs.duke.edu
CSNET: dfk@duke
UUCP: {ihnp4!decvax}!duke!dfk