{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T20:58:22Z","timestamp":1697576302226},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":5770,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1016\/s0743-1066(96)00117-3","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:44:48Z","timestamp":1027644288000},"page":"49-79","source":"Crossref","is-referenced-by-count":13,"title":["A parallel prolog system for distributed memory"],"prefix":"10.1016","volume":"33","author":[{"given":"Lourdes","family":"Araujo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose J","family":"Ruz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00117-3_BIB1","article-title":"A Method for Implementing Cut in Parallel Execution of Prolog","author":"Ali","year":"1987","journal-title":"Research Report SICS R87001"},{"issue":"2","key":"10.1016\/S0743-1066(96)00117-3_BIB2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","article-title":"The Muse approach to Or-Parallel Prolog","volume":"19","author":"Ali","year":"1990","journal-title":"Int. Journal of Parallel Programming"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB3","series-title":"Fifth International Conference and Symposium on Logic Programming","first-page":"1578","article-title":"The Delphi Model and Some Preliminary Experiments","author":"Alshawi","year":"1988"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB4","series-title":"Transputers and Occam Research: New Directions","first-page":"167","article-title":"OR-Parallel Execution of Prolog on a Transputer-Based System","author":"Araujo","year":"1993"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB5","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"142","article-title":"PDP: Prolog Distributed Processor for Independent_AND OR Parallel Execution of Prolog","author":"Araujo","year":"1994"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB6","article-title":"Cut and Side-Effects on a Distributed Memory Implementation of Prolog","author":"Araujo","year":"1994"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB7","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"1160","article-title":"A Scalable Abstract Machine Model to Support Limited-OR(LOR)\/Restricted-AND Parallelism (RAP) in Logic Programs","author":"Biswas","year":"1988"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB8","series-title":"International Symposium on Logic Programming","first-page":"320","article-title":"Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization","author":"Bueno","year":"1994"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB9","series-title":"Proceedings of the Conference on Logic Programming","first-page":"419","article-title":"Scheduling Or-Parallelism in Aurora\u2014The Manchester Scheduler","author":"Calderwood","year":"1989"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB10","series-title":"Proceedings of the Spring Compton","first-page":"218","article-title":"AND-Parallelism of Logic Programs Based on a Static Dependency Analysis","author":"Chang","year":"1985"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB11","series-title":"Parallel Execution of Logic Programs","author":"Conery","year":"1987"},{"issue":"2","key":"10.1016\/S0743-1066(96)00117-3_BIB12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01383953","article-title":"Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors","volume":"17","author":"Conery","year":"1988","journal-title":"Int. Journal of Parallel Programming"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB13","series-title":"SIGPLAN-90 Conference on Programming Language Design and Implementation","first-page":"174","article-title":"Task Granularity Analysis","author":"Debray","year":"1990"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB14","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"599","article-title":"Automatic Complexity Analysis of Logic Programs","author":"Debray","year":"1991"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB15","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"471","article-title":"Restricted AND-Parallelism","author":"Degroot","year":"1994"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB16","series-title":"North American Conference on Logic Programming","first-page":"332","article-title":"Compiled And-Or Parallelism on Shared Memory Multiprocessors","author":"Gupta","year":"1989"},{"issue":"3\/4","key":"10.1016\/S0743-1066(96)00117-3_BIB17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF03037180","article-title":"And-Or Parallel Prolog: A Recomputation Based Approach","volume":"11","author":"Gupta","year":"1993","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB18","article-title":"Comparison of Dynamic Load Balancing Strategies","author":"Kuchen","year":"1990"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB19","doi-asserted-by":"crossref","DOI":"10.20868\/UPM.thesis.14975","article-title":"An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Program in Parallel","author":"Hermenegildo","year":"1986"},{"issue":"3\/4","key":"10.1016\/S0743-1066(96)00117-3_BIB20","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","article-title":"The &-Prolog System: Exploiting Independent And-Parallelism","volume":"9","author":"Hermenegildo","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(91)90009-E","article-title":"The Reduce-OR Process Model for Parallel Execution of Logic Programs","volume":"11","author":"Kal\u00e9","year":"1991","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB22","series-title":"Proceedings of the IFIP","first-page":"569","article-title":"Predicate Logic as a Programming Language","author":"Kowalsky","year":"1974"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB23","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithm = Logic + Control","volume":"22","author":"Kowalsky","year":"1979","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB24","unstructured":"L\u00f3pez Garc\u00eda, P., Hermenegildo, M., and Debray, S. K., A Methodology for Granularity Based Control of Parallelism in Logic Programs, J. Symbolic Computing, Special Issue on Parallel Symbolic Computation, to appear."},{"key":"10.1016\/S0743-1066(96)00117-3_BIB25","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"1403","article-title":"Assertive Demons","author":"Mills","year":"1988"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB26","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"124","article-title":"Parallel CLP on Heterogeneous Networks","author":"Mudambi","year":"1994"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB27","series-title":"Proceedings of the North American Conference on Logic Programming","first-page":"166","article-title":"Determination of Variable Dependence Information at Compile-Time through Abstract Interpretation","author":"Muthukumar","year":"1989"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB28","series-title":"Proc. ICLP","first-page":"80","article-title":"Complete and Efficient Methods for Supporting Side-Effects in Independent Restricted And-Parallelism","author":"Muthukumar","year":"1989"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB29","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"987","article-title":"Load-Dispatching Strategy on Parallel Inference Machine","author":"Sugie","year":"1988"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB30","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF03037210","article-title":"Compile-Time Granularity Analysis for Parallel Logic Programming Languages","volume":"7","author":"Tick","year":"1990","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB31","article-title":"Independent AND-Parallel Prolog for Distributed Memory Architectures","author":"Verden","year":"1990"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB32","article-title":"An Abstract Prolog Instruction Set","volume":"309","author":"Warren","year":"1983"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB33","series-title":"Proceedings of the International Joint Conference on Theory and Practice of Software Development","first-page":"243","article-title":"Or-Parallel Execution Models of Prolog","author":"Warren","year":"1987"},{"key":"10.1016\/S0743-1066(96)00117-3_BIB34","series-title":"Proceedings of the International Logic Programming Symposium","first-page":"436","article-title":"The PEPsys Model: Combining Backtracking, AND- and OR-Parallelism","author":"Westphal","year":"1987"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001173?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001173?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,16]],"date-time":"2023-04-16T01:04:18Z","timestamp":1681607058000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696001173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["S0743106696001173"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00117-3","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}