{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:18Z","timestamp":1762458378200},"reference-count":41,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0167-739x(94)90052-3","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:12:00Z","timestamp":1062601920000},"page":"71-92","source":"Crossref","is-referenced-by-count":7,"title":["Optimal implementation of and-or parallel Prolog"],"prefix":"10.1016","volume":"10","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(94)90052-3_BIB1","series-title":"Int. Symp. on Logic Programming","first-page":"449","article-title":"A method for implementing cut in parallel execution of Prolog","author":"Ali","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB2","unstructured":"K. Ali and R. Karlsson, The Muse Or-parallel Prolog model and its performance, in: Proc. North American Conf. on Logic Programming '90 (MIT Press, Cambridge MA)."},{"key":"10.1016\/0167-739X(94)90052-3_BIB3","first-page":"445","article-title":"Full Prolog and scheduling Or-parallelism in Muse","volume":"6","author":"Ali","year":"1991","journal-title":"Int. J. Parallel Programming"},{"key":"10.1016\/0167-739X(94)90052-3_BIB4","series-title":"Proc. Int. Conf. on Fifth Generation Computer Systems '88","first-page":"841","article-title":"The parallel ECRC Prolog system PEP-Sys: An overview and evaluation results","author":"Baron","year":"1988"},{"key":"10.1016\/0167-739X(94)90052-3_BIB5","doi-asserted-by":"crossref","unstructured":"T. Beaumont, S. Muthu Raman et al., Flexible scheduling or Or-parallelism in Aurora: The Bristol scheduler, in: Proc. PARLE '91 (Springer Berlin, LNCS 506) 403\u2013420.","DOI":"10.1007\/3-540-54152-7_77"},{"key":"10.1016\/0167-739X(94)90052-3_BIB6","series-title":"1987 IEEE Int. Symp. in Logic Programming","first-page":"457","article-title":"Binding environments for parallel logic programs in non-shared memory multiprocessors","author":"Conery","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB7","series-title":"Proc. North American Conf. on Logic Programming","first-page":"350","article-title":"Restrict And-Parallelism model with side effects","author":"Chang","year":"1989"},{"key":"10.1016\/0167-739X(94)90052-3_BIB8","series-title":"Int. Symp. Logic Programming","first-page":"80","article-title":"Restricted And-parallelism and side-effects","author":"DeGroot","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB9","unstructured":"G. Gupta and B. Jayaraman, Compiled And-Or parallel execution of logic programs, in: Proc. North American Conf. on Logic Programming '89, (MIT Press, Cambridge, MA) 332\u2013349."},{"issue":"4","key":"10.1016\/0167-739X(94)90052-3_BIB10","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1145\/155183.155220","article-title":"Analysis of Or-parallel execution models of logic programs","volume":"15","author":"Gupta","year":"1993","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/0167-739X(94)90052-3_BIB11","unstructured":"G. Gupta and B. Jayaraman, Optimizing And-Or-parallel implementations, in: Proc. North American Conf. on Logic Programming '90 (MIT Press, Cambridge, MA) 737\u2013756."},{"key":"10.1016\/0167-739X(94)90052-3_BIB12","series-title":"Proc. Int. Conf. on Fifth Generation Computer Systems '92","article-title":"Recomputation based And-Or-parallel implementations of Prolog","author":"Gupta","year":"1992"},{"key":"10.1016\/0167-739X(94)90052-3_BIB13","series-title":"Proc. 4th IEEE Symp. on Parallel and Distributed Processing","article-title":"Complete and efficient methods for supporting cuts and side effects in And-Or-parallel Prolog","author":"Gupta","year":"1992"},{"key":"10.1016\/0167-739X(94)90052-3_BIB14","series-title":"Proc. Parallel Architectures and Languages Europe '92 (PARLE92)","first-page":"605","article-title":"And-Or Parallel Prolog based on the paged binding array","author":"Gupta","year":"1992"},{"key":"10.1016\/0167-739X(94)90052-3_BIB15","doi-asserted-by":"crossref","unstructured":"G. Gupta, M. Hermenegildo and V. Santos-Costa, And-Or Parallel Prolog: A recomputation based approach, in: J. New Generation Computing 11(3\u20134) 298\u2013321.","DOI":"10.1007\/BF03037180"},{"key":"10.1016\/0167-739X(94)90052-3_BIB16","series-title":"Proc. Int. Logic Programming Symp.","article-title":"IDIOM: A model for integrating dependent-and, independent-and and Or-parallelism","author":"Gupta","year":"1991"},{"issue":"1","key":"10.1016\/0167-739X(94)90052-3_BIB17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0743-1066(93)90009-6","article-title":"And-Or parallelism on shared-memory multiprocessors","volume":"17","author":"Gupta","year":"1993","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-739X(94)90052-3_BIB18","series-title":"3rd Int. Conf. on Logic Programming","article-title":"An abstract machine for restricted and parallel execution of logic programs","author":"Hermenegildo","year":"1986"},{"key":"10.1016\/0167-739X(94)90052-3_BIB19","series-title":"Proc. 4th ICLP","first-page":"556","article-title":"Relating goal scheduling, precedence, and memory management in AND-parallel execution of logic programs","author":"Hermenegildo","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB20","series-title":"Int. Conf. on Fifth Generation Computer Systems","first-page":"831","article-title":"Cut and side-effects in Or-Parallel Prolog","author":"Hausman","year":"1988"},{"key":"10.1016\/0167-739X(94)90052-3_BIB21","series-title":"IEEE Int. Symp. in Logic Programming","article-title":"Or-Parallel Prolog made efficient on shared memory multiprocessors","author":"Hausman","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB22","series-title":"Proc. 7th Int. Conf. on Logic Programming","first-page":"253","article-title":"&-Prolog and its performance: Exploiting independent And-parallelism","author":"Hermenegildo","year":"1990"},{"key":"10.1016\/0167-739X(94)90052-3_BIB23","series-title":"Proc. ICLP","first-page":"31","article-title":"Kernel Andorra Prolog and its computation model","author":"Haridi","year":"1990"},{"issue":"2","key":"10.1016\/0167-739X(94)90052-3_BIB24","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00128177","article-title":"Parallel execution of Prolog with side-effects","volume":"2","author":"Kal\u00e9","year":"1988","journal-title":"J. Supercomput."},{"key":"10.1016\/0167-739X(94)90052-3_BIB25","series-title":"Fifth Int. Logic Programming Conf.","article-title":"AND-Parallel execution of logic Programs on a shared memory multiprocessor: A summary of results","author":"Lin","year":"1988"},{"issue":"2,3","key":"10.1016\/0167-739X(94)90052-3_BIB26","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","article-title":"The Aurora Or-Prolog system","volume":"7","author":"Lusk","year":"1990","journal-title":"New Generation Comput."},{"key":"10.1016\/0167-739X(94)90052-3_BIB27","series-title":"Proc. Int. Conf. Logic Programming","article-title":"Complete and efficient methods for supporting side-effects in independent\/restricted And-parallelism","author":"Muthukumar","year":"1989"},{"issue":"2,3","key":"10.1016\/0167-739X(94)90052-3_BIB28","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","article-title":"Compile-time derivation of variable dependency using abstract interpretation","volume":"13","author":"Muthukumar","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-739X(94)90052-3_BIB29","series-title":"1990 Int. Conf. on Logic Programming","first-page":"221","article-title":"The CDG, UDG, and MEL methods for automatic compile-time parallelization of Logic Programs for independent And-parallelism","author":"Muthukumar","year":"1990"},{"key":"10.1016\/0167-739X(94)90052-3_BIB30","unstructured":"K. Muthukumar and M. Hermenegildo, Determination of variable dependence information through abstract interpretation, in: Proc. 1989 North American Conf. on Logic Programming (MIT Press, Cambridge, MA)."},{"key":"10.1016\/0167-739X(94)90052-3_BIB31","unstructured":"B. Ramkumar and L.V. Kal\u00e9, Compiled execution of the REDUCE-OR process model, in: Proc. North American Conf. on Logic Program '89 (MIT Press, Cambridge, MA) 313\u2013331."},{"key":"10.1016\/0167-739X(94)90052-3_BIB32","series-title":"Proc. IJCAI '87","first-page":"48","article-title":"A parallel logic programming language for PEPSys","author":"Ratcliffe","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB33","series-title":"Proc. 4th IEEE Symp. on Parallel and Distributed Processing","article-title":"The Dharma scheduler - Definitive scheduling in Aurora on multiprocessor architecture","author":"Sindaha","year":"1992"},{"key":"10.1016\/0167-739X(94)90052-3_BIB34","series-title":"Proc. Int. Logic Programming Symp.","article-title":"A simulation study of Or-and independent And-Parallelism","author":"Shen","year":"1991"},{"key":"10.1016\/0167-739X(94)90052-3_BIB35","article-title":"Studies of And-Or Parallelism in Prolog","author":"Shen","year":"1992"},{"key":"10.1016\/0167-739X(94)90052-3_BIB36","series-title":"Proc. Principles & Practice of Parallel Programming","first-page":"83","article-title":"Andorra-I: A Parallel Prolog system that transparently exploits both And- and Or-Parallelism","author":"Santos Costa","year":"1991"},{"key":"10.1016\/0167-739X(94)90052-3_BIB37","series-title":"Parallel Architectures and Languages Europe '91 (PARLE)","article-title":"Virtual memory support for parallel logic programming systems","author":"V\u00e9ron","year":"1991"},{"key":"10.1016\/0167-739X(94)90052-3_BIB38","series-title":"1984 Int. Symp. on Logic Programming","first-page":"198","article-title":"Efficient Prolog memory management for flexible control strategies","author":"Warren","year":"1984"},{"key":"10.1016\/0167-739X(94)90052-3_BIB39","series-title":"1987 IEEE Int. Symp. in Logic Programming","article-title":"The SRI-model for Or-Parallel execution of Prolog - Abstract design and implementation issues","author":"Warren","year":"1987"},{"key":"10.1016\/0167-739X(94)90052-3_BIB40","series-title":"Workshop on Parallel Logic Programming, 7th ICLP","article-title":"Extended Andorra model with implicit control talk given at Parallel Logic Programming","author":"Warren","year":"1989"},{"key":"10.1016\/0167-739X(94)90052-3_BIB41","series-title":"1987 IEEE Int. Symp. in Logic Prog.","first-page":"436","article-title":"The PEPSys model: Combining backtracking, AND- and OR-parallelism","author":"Westphal","year":"1987"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X94900523?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X94900523?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T09:38:38Z","timestamp":1585129118000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X94900523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0167739X94900523"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(94)90052-3","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}