{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:29Z","timestamp":1763468069931},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555995"},{"type":"electronic","value":"9783540472506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55599-4_114","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:16:56Z","timestamp":1330233416000},"page":"617-632","source":"Crossref","is-referenced-by-count":10,"title":["And-or parallelism in full Prolog with paged Binding Arrays"],"prefix":"10.1007","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Vitor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,14]]},"reference":[{"key":"38_CR1","unstructured":"K. Ali, \u201cA Method for Implementing Cut in Parallel Execution of Prolog,\u201d In International Symposium on Logic Programming, 1987, pp. 449\u2013456."},{"key":"38_CR2","unstructured":"K. Ali, R. Karlsson: \u201cThe Muse Or-parallel Prolog Model and its performance\u201d. In Proceedings of the North American Conference on Logic Programming '90, MIT Press, to appear"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"K. Ali, R. Karlsson: \u201cFull Prolog and Scheduling Or-parallelism in Muse\u201d. To appear in International Journal of Parallel Programming, 1991.","DOI":"10.1007\/BF01397627"},{"key":"38_CR4","unstructured":"Uri Baron, et. al.: \u201cThe Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results\u201d. In Proceedings of FGCS '88, Tokyo, pp. 841\u2013850."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"T. Beaumont, S. Muthu Raman, et al.: \u201cFlexible Scheduling or Or-parallelism in Aurora: The Bristol Scheduler\u201d. In Proceedings of PARLE '91, Springer Verlag, LNCS 506, pp. 403\u2013420.","DOI":"10.1007\/3-540-54152-7_77"},{"key":"38_CR6","unstructured":"S-E. Chang and Y.P. Chiang: \u201cRestricted And-Parallelism Model with Side Effects\u201d. In Proceedings of North American Conference on Logic Programming, 1989, MIT Press, pp. 350\u2013368."},{"key":"38_CR7","unstructured":"D. DeGroot: \u201cRestricted And-Parallelism and Side-effects\u201d. In International Symposium on Logic Programming, San Francisco, 1987, pp. 80\u201389."},{"key":"38_CR8","unstructured":"G. Gupta and B. Jayaraman: \u201cCompiled And-Or Parallel Execution of Logic Programs\u201d. In Proceedings of the North American Conference on Logic Programming '89, MIT Press, pp. 332\u2013349."},{"key":"38_CR9","unstructured":"G. Gupta and B. Jayaraman: \u201cOn Criteria for Or-Parallel Execution Models of Logic Programs\u201d. In Proceedings of the North American Conference on Logic Programming '90, MIT Press, pp. 604\u2013623."},{"key":"38_CR10","unstructured":"G. Gupta and B. Jayaraman: \u201cOptimizing And-Or Parallel Implementations\u201d. In Proceedings of the North American Conference on Logic Programming '90, MIT Press, pp. 737\u2013756."},{"key":"38_CR11","unstructured":"G. Gupta and M. Hermenegildo: \u201cRecomputation Based And-Or Parallel Implementations of Prolog\u201d. In Proceedings of International Conference on Fifth Generation Computer Systems '92, Tokyo, 1992."},{"key":"38_CR12","unstructured":"G. Gupta, V. Santos Costa: \u201cCut and Side Effects in And-Or Parallel Prolog\u201d. University of Bristol TR-91-26, 16 pages."},{"key":"38_CR13","unstructured":"G. Gupta, V. Santos Costa, R. Yang, M. Hermenegildo: \u201cIDIOM: A Model for Integrating Dependent-and, Independent-and and Or-parallelism\u201d. In Proceedings of ILPS, MIT Press, Oct. 1991."},{"key":"38_CR14","volume-title":"PhD Thesis","author":"M. V. Hermenegildo","year":"1986","unstructured":"M. V. Hermenegildo: \u201cAn Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel\u201d. PhD Thesis, University of Texas at Austin, 1986."},{"key":"38_CR15","unstructured":"B. Hausman, A. Ciepielewski, and A. Calderwood: \u201cCut and Side-Effects in Or-Parallel Prolog\u201d. In International Conference on Fifth Generation Computer Systems, Tokyo, Nov. 88, pp. 831\u2013840."},{"key":"38_CR16","unstructured":"B. Hausman, et. al.: \u201cOr-Parallel Prolog Made Efficient on Shared Memory Multiprocessors\u201d in IEEE Int. Symp. in Logic Prog., San Francisco, 1987."},{"key":"38_CR17","unstructured":"M. V. Hermenegildo, K.J. Green, \u201c&-Prolog and its performance: Exploiting Independent And-Parallelism\u201d. In Proceedings of the 7th International Conference on Logic Programming, 1990, pp. 253\u2013268."},{"key":"38_CR18","unstructured":"S. Haridi, S. Janson: \u201cKernel Andorra Prolog and its Computation Model\u201d. In Proceedings of ICLP, MIT Press, June, 1990, pp. 31\u201346."},{"issue":"2","key":"38_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00128177","volume":"2","author":"L. V. Kal\u00e9","year":"1988","unstructured":"L. V. Kal\u00e9, D. A. Padua, D. C. Sehr, \u201cParallel Execution of Prolog with Side-Effects\u201d. In J. of Supercomputing, 2(2), 1988, pp. 209\u2013223.","journal-title":"J. of Supercomputing"},{"key":"38_CR20","unstructured":"Y-J. Lin and V. Kumar: \u201cAND-parallel execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results\u201d, in Fifth International Logic Programming Conference, Seattle, WA."},{"issue":"No.23","key":"38_CR21","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"E. Lusk, D.H.D. Warren, S. Haridi et. al: \u201cThe Aurora Or-Prolog System\u201d. In New Generation Computing, Vol. 7, No. 2,3, 1990 pp. 243\u2013273.","journal-title":"New Generation Computing"},{"key":"38_CR22","unstructured":"K. Muthukumar and M. Hermenegildo: \u201cComplete and Efficient Methods for Supporting Side-effects in Independent\/Restricted And-Parallelism\u201d. In Proc. of ICLP, 1989."},{"key":"38_CR23","unstructured":"B. Ramkumar and L. V. Kal\u00e9: \u201cCompiled Execution of the REDUCE-OR Process Model\u201d. In Proc. of NACLP '89, MIT Press, pp. 313\u2013331."},{"key":"38_CR24","unstructured":"M. Ratcliffe, J-C Syre: \u201cA Parallel Logic Programming Language for PEPSys\u201d In Proceedings of IJCAI '87, Milan, pp. 48\u201355."},{"key":"38_CR25","unstructured":"R. Sindaha: \u201cThe Dharma Scheduler \u2014 Definitive Scheduling in Aurora on Multiprocessor Architecture\u201d. Technical Report, University of Bristol."},{"key":"38_CR26","unstructured":"K. Shen and M. V. Hermenegildo: \u201cA Simulation Study of Or Independent And-Parallelism\u201d. In Proc. of ILPS MIT Press, 1991."},{"key":"38_CR27","unstructured":"K. Shen: \u201cStudies of And-Or Parallelism in Prolog\u201d. Ph.D. thesis, Cambridge University, 1992, forthcoming."},{"key":"38_CR28","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, D. H. D. Warren, R. Yang: \u201cAndorra-I: A Parallel Prolog system that transparently exploits both And-and Or-Parallelism\u201d. In Proceedings of Principles & Practice of Parallel Programming, Apr. '91, pp. 83\u201393.","DOI":"10.1145\/109626.109635"},{"key":"38_CR29","doi-asserted-by":"crossref","unstructured":"A. V\u00e9ron, J. Xu, et. al.: \u201cVirtual Memory Support for Parallel Logic Programming Systems\u201d. In PARLE'91, Springer Verlag, LNCS 506, 1991.","DOI":"10.1007\/978-3-662-25209-3_51"},{"key":"38_CR30","doi-asserted-by":"crossref","unstructured":"D. S. Warren: \u201cEfficient Prolog Memory Management for Flexible Control Strategies\u201d. In The 1984 Int. Syrnp. on Logic Prog., Atlantic City, pp. 198\u2013202.","DOI":"10.1007\/BF03037327"},{"key":"38_CR31","unstructured":"D. H. D. Warren: \u201cThe SRI-model for Or-Parallel execution of Prolog-Abstract Design and Implementation Issues\u201d. In 1987 IEEE Int. Symp. in Logic Prog., San Francisco."},{"key":"38_CR32","unstructured":"D.H.D. Warren: \u201cExtended Andorra Model with Implicit Control\u201d Talk given at Workshop on Parallel Logic Programming, 7th ICLP, Eilat."}],"container-title":["Lecture Notes in Computer Science","PARLE '92 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55599-4_114.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T23:26:45Z","timestamp":1640906805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55599-4_114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555995","9783540472506"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-55599-4_114","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}