{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T22:10:06Z","timestamp":1760047806999,"version":"build-2065373602"},"reference-count":29,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Parallel and Distributed Computing"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1006\/jpdc.2000.1629","type":"journal-article","created":{"date-parts":[[2002,9,18]],"date-time":"2002-09-18T14:06:38Z","timestamp":1032357998000},"page":"835-852","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parallel Logic Programming Systems on Scalable Architectures"],"prefix":"10.1006","volume":"60","author":[{"given":"V\u0131\u0301tor","family":"Santos Costa","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Bianchini","sequence":"additional","affiliation":[]},{"given":"In\u00eas","family":"de Castro Dutra","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1006\/jpdc.2000.1629_RF1","series-title":"Proceedings of the 1990 North American Conference on Logic Programming","article-title":"The Muse or-parallel Prolog model and its performance","author":"Ali","year":"1990"},{"key":"10.1006\/jpdc.2000.1629_RF2","series-title":"PARLE91: Conference on Parallel Architectures and Languages Europe","first-page":"403","article-title":"Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler","author":"Beaumont","year":"1991"},{"key":"10.1006\/jpdc.2000.1629_RF3","series-title":"Proceedings of the Tenth International Conference on Logic Programming","article-title":"Reform Prolog: The language and its implementation","author":"Bevemyr","year":"1993"},{"key":"10.1006\/jpdc.2000.1629_RF4","series-title":"Proceedings of the 28th Annual Simulation Symposium","article-title":"Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols","author":"Bianchini","year":"1995"},{"key":"10.1006\/jpdc.2000.1629_RF5","series-title":"Proceedings of the Eleventh International Conference on Logic Programming","article-title":"A portable and reasonably efficient implementation of KL1","author":"Chikayama","year":"1993"},{"key":"10.1006\/jpdc.2000.1629_RF6","unstructured":"J. A. Crammond, Implementation of Committed Choice Logic Languages on Shared Memory Multiprocessors, Ph.D. thesis, Heriot\u2013Watt University, Edinburgh, May 1988; Research Report PAR 88\/4, Department of Computing, Imperial College, London."},{"year":"1998","series-title":"Parallel Computer Architecture: A Hardware\/Software Approach","author":"Culler","key":"10.1006\/jpdc.2000.1629_RF7"},{"key":"10.1006\/jpdc.2000.1629_RF8","series-title":"Proceedings of the 1994 International Logic Programming Symposium","article-title":"Strategies for scheduling and- and or-work in parallel logic programming systems","author":"Dutra","year":"1994"},{"key":"10.1006\/jpdc.2000.1629_RF9","series-title":"Proceedings of the 10th International Symposium on Computer Architecture","article-title":"Using cache memory to reduce processor-memory traffic","author":"Goodman","year":"1983"},{"key":"10.1006\/jpdc.2000.1629_RF10","series-title":"Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94","article-title":"&-ACE: A high performance parallel Prolog system","author":"Gupta","year":"1994"},{"key":"10.1006\/jpdc.2000.1629_RF11","series-title":"Proceedings of the Seventh International Conference on Logic Programming","article-title":"&-Prolog and its performance: Exploiting independent and-parallelism","author":"Hermenegildo","year":"1990"},{"key":"10.1006\/jpdc.2000.1629_RF12","series-title":"Proceedings of the International Conference on Practical Application of Prolog","article-title":"An incremental Prolog system development for the floor plan design by dissecting","author":"Kov\u00e1cs","year":"1992"},{"key":"10.1006\/jpdc.2000.1629_RF13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/71.205652","article-title":"The dash prototype: Logic overhead and performance","volume":"41","author":"Lenoski","year":"1993","journal-title":"IEEE Trans. Parallel Distrib. Systems"},{"key":"10.1006\/jpdc.2000.1629_RF14","series-title":"International Conference of Parallel Processing","article-title":"The Symmetry multiprocessor system","author":"Lovett","year":"1988"},{"key":"10.1006\/jpdc.2000.1629_RF15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","article-title":"The Aurora or-parallel Prolog system","volume":"7","author":"Lusk","year":"1990","journal-title":"New Generat. Comput."},{"key":"10.1006\/jpdc.2000.1629_RF16","series-title":"ILPS'94 Post-Conference Workshop in Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY","article-title":"Penny. A parallel implementation of AKL","author":"Montelius","year":"1994"},{"key":"10.1006\/jpdc.2000.1629_RF17","series-title":"Proceedings of the International Symposium on Logic Programming (ILPS-97)","first-page":"133","article-title":"Using SIMICS to evaluate the Penny system","author":"Montelius","year":"1997"},{"key":"10.1006\/jpdc.2000.1629_RF18","series-title":"Implementations of Distributed Prolog","first-page":"27","article-title":"Parallel Prolog on a scalable multiprocessor","author":"Raina","year":"1992"},{"key":"10.1006\/jpdc.2000.1629_RF19","series-title":"Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing","article-title":"Evaluating the impact of coherence protocols on parallel logic programming systems","author":"Santos Costa","year":"1997"},{"key":"10.1006\/jpdc.2000.1629_RF20","series-title":"Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","article-title":"Andorra-I: A parallel Prolog system that transparently exploits both and- and or-parallelism","author":"Santos Costa","year":"1991"},{"key":"10.1006\/jpdc.2000.1629_RF21","doi-asserted-by":"crossref","DOI":"10.1016\/S0743-1066(96)00079-9","article-title":"Overview of DASWAM: Exploitation of dependent and-parallelism","volume":"29","author":"Shen","year":"1996","journal-title":"J. Logic Program"},{"key":"10.1006\/jpdc.2000.1629_RF22","series-title":"Workshop on Practical Aspects of Declarative Languages '99","first-page":"122","article-title":"The influence of computer architectural parameters on parallel logic programming systems","volume":"1551","author":"Silva","year":"1999"},{"year":"1987","series-title":"Memory Performance of Prolog Architectures","author":"Tick","key":"10.1006\/jpdc.2000.1629_RF23"},{"key":"10.1006\/jpdc.2000.1629_RF24","series-title":"Proceedings of the 2nd International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '94)","article-title":"MINT: A front end for efficient simulation of shared-memory multiprocessors","author":"Veenstra","year":"1994"},{"year":"1983","series-title":"An Abstract Prolog Instruction Set","author":"Warren","key":"10.1006\/jpdc.2000.1629_RF25"},{"key":"10.1006\/jpdc.2000.1629_RF26","series-title":"Proceedings of the 1987 International Logic Programming Symposium","article-title":"The SRI model for or-parallel execution of Prolog\u2014Abstract design and implementation issues","author":"Warren","year":"1987"},{"year":"1981","series-title":"An Efficient Easily Adaptable System for Interpreting Natural Language Queries","author":"Warren","key":"10.1006\/jpdc.2000.1629_RF27"},{"key":"10.1006\/jpdc.2000.1629_RF28","series-title":"Proceedings of the Tenth International Conference on Logic Programming","article-title":"Performance of the compiler-based Andorra-I system","author":"Yang","year":"1993"},{"key":"10.1006\/jpdc.2000.1629_RF29","series-title":"Proceedings of the Eighth International Conference on Logic Programming","article-title":"The Andorra-I engine: A parallel implementation of the basic Andorra model","author":"Yang","year":"1991"}],"container-title":["Journal of Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743731500916290?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743731500916290?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:48:15Z","timestamp":1760046495000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743731500916290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":29,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0743731500916290"],"URL":"https:\/\/doi.org\/10.1006\/jpdc.2000.1629","relation":{},"ISSN":["0743-7315"],"issn-type":[{"type":"print","value":"0743-7315"}],"subject":[],"published":{"date-parts":[[2000,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Parallel Logic Programming Systems on Scalable Architectures","name":"articletitle","label":"Article Title"},{"value":"Journal of Parallel and Distributed Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1006\/jpdc.2000.1629","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Academic Press. All rights reserved.","name":"copyright","label":"Copyright"}]}}