{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T13:10:29Z","timestamp":1665061829463},"reference-count":70,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"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":[[1993,9]]},"DOI":"10.1016\/0167-739x(93)90016-i","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T11:12:00Z","timestamp":1062587520000},"page":"259-280","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting OR-parallelism in logic programs: A review"],"prefix":"10.1016","volume":"9","author":[{"given":"Kang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(93)90016-I_BIB1","series-title":"Warren's Abstract Machine \u2014 A Tutorial Reconstruction","author":"Ait-Kaci","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB2","series-title":"Proc. 1987 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(93)90016-I_BIB3","series-title":"Proc. 5th Internat. Conf. and Symp. on Logic Programming","first-page":"1531","article-title":"OR-parallel execution of Prolog on BC-machine","author":"Ali","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB4","series-title":"Proc. 1990 North American Conf. on Logic Programming","article-title":"The Muse Or-Parallel Prolog model and its performance","author":"Ali","year":"1990"},{"key":"10.1016\/0167-739X(93)90016-I_BIB5","series-title":"Proc. 8th Internat. Conf. on Logic Programming","article-title":"Scheduling Or-Parallelism in Muse","author":"Ali","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB6","series-title":"FGCS'92","article-title":"OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora","author":"Ali","year":"1992"},{"key":"10.1016\/0167-739X(93)90016-I_BIB7","series-title":"Proc. 5th Internat. Conf. and Symp. on Logic Programming","first-page":"1578","article-title":"The Delphi Model and Some Preliminary Experiments","author":"Alshawi","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB8","series-title":"Proc. Internat. Conf. on Fifth Generation Computer System","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(93)90016-I_BIB9","series-title":"PARLE'91: Conf. on Parallel Architectures and Languages Europe","article-title":"Flexible scheduling of OR-Parallelism in Aurora: The Bristol Scheduler","author":"Beaumont","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB10","series-title":"Proc. ICLP'91 Pre-conference Workshop on Parallel Execution of Logic Programs","article-title":"Scheduling strategies and speculative work","author":"Beaumont","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB11","series-title":"Proc. 1984 Internat. Symp. Logic Programming","first-page":"2","article-title":"Parallel Prolog using stack segments on shared-memroy multiprocessors","author":"Borgwardt","year":"1984"},{"key":"10.1016\/0167-739X(93)90016-I_BIB12","series-title":"Proc. 6th Internat. Conf. on Logic Programming","first-page":"419","article-title":"Scheduling OR-Parallelism in Aurora \u2014 the Manchester Scheduler","author":"Calderwood","year":"1989"},{"key":"10.1016\/0167-739X(93)90016-I_BIB13","article-title":"SICStus Prolog User's Manual","author":"Carlsson","year":"1988","journal-title":"SICS Research Report R88007B"},{"key":"10.1016\/0167-739X(93)90016-I_BIB14","first-page":"299","article-title":"A formal model for OR-parallel execution of logic programs","volume":"83","author":"Ciepielewski","year":"1983"},{"key":"10.1016\/0167-739X(93)90016-I_BIB15","series-title":"Proc. IFIP TC-10 Working Conf. on Fifth Generation Computer Architectures","first-page":"81","article-title":"Initial evaluation of a virtual machine for OR-parallel execution of logic programs","author":"Ciepielewski","year":"1985"},{"key":"10.1016\/0167-739X(93)90016-I_BIB16","series-title":"IEEE Proc. Symp. On Logic Programming","first-page":"246","article-title":"Performance evaluation of a storage model for OR-parallel execution of logic programs","author":"Ciepielewski","year":"1986"},{"key":"10.1016\/0167-739X(93)90016-I_BIB17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0743-1066(89)90012-5","article-title":"OR-parallel prolog on shared memory multiprocessors","volume":"7","author":"Ciepielewski","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-739X(93)90016-I_BIB18","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0167-739X(93)90016-I_BIB19","series-title":"Parallel Execution of Logic Programs","author":"Conery","year":"1987"},{"issue":"2","key":"10.1016\/0167-739X(93)90016-I_BIB20","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":"Internat. J Parallel Programming"},{"issue":"10","key":"10.1016\/0167-739X(93)90016-I_BIB21","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1109\/TC.1985.6312194","article-title":"A comparative study of unification algorithms for OR-parallel execution of logic languages","author":"Crammond","year":"1985","journal-title":"IEEE Trans. Comput. C-34"},{"key":"10.1016\/0167-739X(93)90016-I_BIB22","series-title":"Proc. 3rd Internat. Conf. on Architectural Support for Programming Languages and Operating Systems","first-page":"217","article-title":"A message driven OR-parallel machines","author":"Delgado-Rannauro","year":"1989"},{"key":"10.1016\/0167-739X(93)90016-I_BIB23","series-title":"Proc. 4th Internat. Conf. on Logic Programming","first-page":"576","article-title":"Experiments with OR-parallel logic programming","author":"Disz","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB24","article-title":"A tutorial on the Warren abstract machine for computational logic","author":"Gabriel","year":"1985"},{"key":"10.1016\/0167-739X(93)90016-I_BIB25","series-title":"Proc. 1990 North American Conf. on Logic Programming","first-page":"605","article-title":"On criteria for OR-parallel execution models of logic programs","author":"Gupta","year":"1990"},{"key":"10.1016\/0167-739X(93)90016-I_BIB26","article-title":"Data-driven and demand-driven evaluation of logic programs","author":"Halim","year":"1984"},{"key":"10.1016\/0167-739X(93)90016-I_BIB27","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF03037380","article-title":"A data-driven machine for OR-parallel evaluation of logic programs","volume":"4","author":"Halim","year":"1986","journal-title":"New Generation Comput."},{"key":"10.1016\/0167-739X(93)90016-I_BIB28","series-title":"Proc. Internat. Conf. of 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(93)90016-I_BIB29","series-title":"Proc. 1990 North American Conf. on Logic Programming","article-title":"Handling of speculative work in OR-parallel PROLOG: Evaluation results","author":"Hausman","year":"1990"},{"key":"10.1016\/0167-739X(93)90016-I_BIB30","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF03037114","article-title":"Dataflow based execution mechanisms of parallel and concurrent Prolog","volume":"3","author":"Ito","year":"1985","journal-title":"New Generation Comput."},{"key":"10.1016\/0167-739X(93)90016-I_BIB31","series-title":"Proc. 13th Ann. Internat. Symp. on Computer Architecture","first-page":"533","article-title":"The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D","author":"Ito","year":"1986"},{"key":"10.1016\/0167-739X(93)90016-I_BIB32","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00128177","article-title":"OR parallel execution of prolog programs with side effects","volume":"2","author":"Kale","year":"1988","journal-title":"J. Supercomput."},{"key":"10.1016\/0167-739X(93)90016-I_BIB33","series-title":"Proc. 5th Internat. Conf. and Symp. on Logic Programming","first-page":"1223","article-title":"A memory organisation independent binding environment for AND and OR parallel execution of logic programs","author":"Kale","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB34","article-title":"A high performance OR-parallel prolog system","author":"Karlsson","year":"1992"},{"issue":"1","key":"10.1016\/0167-739X(93)90016-I_BIB35","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/62029.62030","article-title":"Unification: A multidisciplinary survey","volume":"21","author":"Knight","year":"1989","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0167-739X(93)90016-I_BIB36","series-title":"The Architecture of Symbolic Computers","author":"Kogge","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB37","first-page":"569","article-title":"Predicate logic as a programming language","volume":"74","author":"Kowalski","year":"1974"},{"key":"10.1016\/0167-739X(93)90016-I_BIB38","first-page":"168","article-title":"KABU-WAKE: A new parallel inference method and its evaluation","author":"Kumon","year":"1986","journal-title":"COMPCON, Spring'86"},{"key":"10.1016\/0167-739X(93)90016-I_BIB39","series-title":"Proc. 2nd Internat. Logic Programming Conf.","first-page":"159","article-title":"OR-parallelism on applicative architecture","author":"Lindstrom","year":"1984"},{"key":"10.1016\/0167-739X(93)90016-I_BIB40","series-title":"Proc. Internat. Conf. of Fifth Generation Computer Systems","first-page":"819","article-title":"The Aurora OR-Parallel Prolog System","author":"Lusk","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB41","series-title":"Proc. 1989 North American Conf. on Logic Programming","article-title":"Performance of Aurora on a switch-based multiprocessor","author":"Mudambi","year":"1989"},{"key":"10.1016\/0167-739X(93)90016-I_BIB42","series-title":"Proc. 1991 Internat. Symp. on Logic Programming","article-title":"Performance of Aurora on NUMA machines","author":"Mudambi","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB43","article-title":"Negation and Control in Prolog","author":"Naish","year":"1985"},{"key":"10.1016\/0167-739X(93)90016-I_BIB44","first-page":"256","article-title":"Logic Machines: A Surveys","volume":"Vol. 56","author":"Qadah","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB45","series-title":"Proc. 10th Internat. Joint Conf. on Artificial Intelligence","article-title":"The PEPSys parallel logic programming languages","author":"Ratcliffe","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB46","series-title":"Proc. 1989 N. American Conf. on Logic Programming","first-page":"313","article-title":"Compiled execution of the Reduce-OR process model on multiprocessors","author":"Ramkumar","year":"1989"},{"key":"10.1016\/0167-739X(93)90016-I_BIB47","series-title":"Proc. 7th Occam User Group Technical Meeting","first-page":"221","article-title":"Transputers and Parallel Prolog","author":"Reynolds","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB48","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0167-739X(88)90020-9","article-title":"BRAVE \u2014 A parallel logic language for artificial intelligence","volume":"4","author":"Reynolds","year":"1988","journal-title":"Future Generation Comput. Syst."},{"key":"10.1016\/0167-739X(93)90016-I_BIB49","series-title":"Proc. ICL Conf.","article-title":"BRAVE on GRIP","author":"Reynolds","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB50","series-title":"Proc. Internat. Workshop on VLSI for Artificial Intelligence","article-title":"VLSI for parallel execution of Prolog","author":"Reynolds","year":"1988"},{"key":"10.1016\/0167-739X(93)90016-I_BIB51","series-title":"Proc. 1990 North American Conf. on Logic Programming","article-title":"OR-Parallel Prolog and search problems in AI applications","author":"Reynolds","year":"1990"},{"key":"10.1016\/0167-739X(93)90016-I_BIB52","author":"Shapiro","year":"1987"},{"issue":"3","key":"10.1016\/0167-739X(93)90016-I_BIB53","doi-asserted-by":"crossref","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0167-739X(93)90016-I_BIB54","series-title":"Proc. 3rd Internat. on Logic Programming","first-page":"710","article-title":"The OR-forest description for the execution of logic programs","author":"Sun","year":"1986"},{"key":"10.1016\/0167-739X(93)90016-I_BIB55","series-title":"Proc. 14th Internat. Symp. on Computer Architecture","first-page":"137","article-title":"The sharing of environment in AND-OR-parallel execution of logic programs","author":"Sun","year":"1987"},{"issue":"1","key":"10.1016\/0167-739X(93)90016-I_BIB56","first-page":"24","article-title":"The OR-forest-based parallel execution model of logic programs","volume":"6","author":"Sun","year":"1990","journal-title":"Future Generation Comput. Syst."},{"key":"10.1016\/0167-739X(93)90016-I_BIB57","series-title":"Proc. 1989 North American Conf. on Logic Programming","article-title":"Performance analysis of the Aurora Or-Parallel Prolog system","author":"Szeredi","year":"1989"},{"key":"10.1016\/0167-739X(93)90016-I_BIB58","series-title":"Proc. ICLP'91 Pre-conference Workshop on Parallel Execution of Logic Programs","article-title":"Solving optimisation problems in Aurora OR-Parallel Prolog System","author":"Szeredi","year":"1991"},{"key":"10.1016\/0167-739X(93)90016-I_BIB59","series-title":"Proc. IEEE Internat. Symp. on Logic Programming","first-page":"29","article-title":"Towards a pipelined Prolog processor","author":"Tick","year":"1984"},{"key":"10.1016\/0167-739X(93)90016-I_BIB60","series-title":"Proc. 4th Internat. Conf. on Logic Programming","first-page":"601","article-title":"A performance-oriented design for OR-parallel logic programming","author":"Tinker","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB61","article-title":"Implementing Prolog \u2014 Compiling predicate logic programs","author":"Warren","year":"1977"},{"key":"10.1016\/0167-739X(93)90016-I_BIB62","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"key":"10.1016\/0167-739X(93)90016-I_BIB63","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"92","article-title":"The SRI model for OR-parallel execution of Prolog \u2014 Abstract design and implementation issues","author":"Warren","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB64","series-title":"Proc. 1984 Internat. Symp. on Logic Programming","first-page":"198","article-title":"Efficient Prolog memory management for flexible control strategy","author":"Warren","year":"1984"},{"key":"10.1016\/0167-739X(93)90016-I_BIB65","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"436","article-title":"The PEPSys Model: Combining backtracking, AND- and OR-parallelism","author":"Westphal","year":"1987"},{"key":"10.1016\/0167-739X(93)90016-I_BIB66","series-title":"Proc. Symp. on Lisp and Functional Programming, ACM","first-page":"55","article-title":"A Parallel Prolog: The construction of a data-driven model","author":"Wise","year":"1982"},{"key":"10.1016\/0167-739X(93)90016-I_BIB67","series-title":"Prolog Multiprocessors","author":"Wise","year":"1986"},{"key":"10.1016\/0167-739X(93)90016-I_BIB68","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF03037061","article-title":"ORBIT: A parallel computing model of Prolog","volume":"2","author":"Yasuhara","year":"1984","journal-title":"New Generation Comput."},{"key":"10.1016\/0167-739X(93)90016-I_BIB69","series-title":"Proc. 12th Internat. Joint Conf. on Artificial Intelligence","first-page":"877","article-title":"A non-shared binding scheme for Parallel Prolog implementation","author":"Zhang","year":"1991"},{"issue":"4","key":"10.1016\/0167-739X(93)90016-I_BIB70","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/0167-739X(91)90006-J","article-title":"DIALOG \u2014 A dataflow model for parallel execution of logic programs","volume":"6","author":"Zhang","year":"1991","journal-title":"Future Generation Comput. Syst."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9390016I?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9390016I?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T06:54:02Z","timestamp":1551077642000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9390016I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":70,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["0167739X9390016I"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(93)90016-i","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}