{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:31:48Z","timestamp":1759638708028},"reference-count":79,"publisher":"Elsevier BV","issue":"13-14","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"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":["Parallel Computing"],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1016\/s0167-8191(00)00051-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:01:26Z","timestamp":1027609286000},"page":"1685-1708","source":"Crossref","is-referenced-by-count":12,"title":["Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming"],"prefix":"10.1016","volume":"26","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-8191(00)00051-X_BIB1","series-title":"Warren's Abstract Machine, A Tutorial Reconstruction","author":"Ait-Kaci","year":"1991"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB2","unstructured":"K.A.M. Ali, R. Karlsson, The muse or-parallel prolog model and its performance, in: The 1990 North American Conference on Logic Programming, MIT Press, October 1990, pp. 757\u2013776"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB3","unstructured":"G. Almasi, A. Gottlieb (Eds.), Highly Parallel Computing, Benjamin Cummins, Menlo Park, CA, 1994"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB4","doi-asserted-by":"crossref","unstructured":"L.O. Andersen, Binding-time analysis and the taming of C pointers, in: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, Copenhagen, Denmark, 1993, pp. 47\u201358","DOI":"10.1145\/154630.154636"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB5","doi-asserted-by":"crossref","unstructured":"K. Apt, A. Shaerf, Search and Imperative Programming, in: POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, Paris, France, January 1997, pp. 67\u201379","DOI":"10.1145\/263699.263709"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB6","series-title":"Handbook of Theoretical Computer Science, volume B: Formal Model and Semantics","first-page":"495","article-title":"Introduction to logic programming","author":"Apt","year":"1990"},{"issue":"4","key":"10.1016\/S0167-8191(00)00051-X_BIB7","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/197405.197406","article-title":"Compiler transformations for high-performance computing","volume":"26","author":"Bacon","year":"1994","journal-title":"Computing Surveys"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB8","unstructured":"T. Beaumont, D.H.D. Warren, Scheduling speculative work in or-parallel prolog systems, in: Proceedings of the 10th International Conference on Logic Programming, MIT Press, CA, June 1993, pp. 135\u2013149"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0167-6423(89)90014-2","article-title":"Semantic independence","volume":"13","author":"Best","year":"1990","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB10","doi-asserted-by":"crossref","unstructured":"J. Bevemyr, T. Lindgren, H. Millroth, Exploiting recursion-parallelism in prolog, in: Proceedings of the PARLE'93, Springer, Berlin, 1993","DOI":"10.1007\/3-540-56891-3_22"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB11","unstructured":"J. Bevemyr, T. Lindgren, H. Millroth, Reform prolog: the language and its implementation, in: Proceedings of the 10th International Conference on Logic Programming, MIT Press, Cambridge, MA, 1993"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB12","unstructured":"P. Borgwardt, D. Rea, Distributed semi-intelligent backtracking for a stack-based and-parallel prolog, in: International Symposium on Logic Programming, IEEE Computer Society, Silver Spring, MD, 1986, pp. 211\u2013222"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB13","unstructured":"C. Braem, B. Le Charlier, S. Modart, P. Van Hentenryck, Cardinality analysis of prolog, in: Proceedings of the International Symposium on Logic Programming, MIT Press, Ithaca, NY, November 1994, pp. 457\u2013471"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB14","unstructured":"F. Bueno, M. Garc\u0131\u0301a de la Banda, M. Hermenegildo, A comparative study of methods for automatic compile-time parallelization of logic programs, in: Then First International Symposium on Parallel Symbolic Computation, World Scientific Publishing Company, Singapore, September 1994, pp. 63\u201373"},{"issue":"2","key":"10.1016\/S0167-8191(00)00051-X_BIB15","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/316686.316688","article-title":"Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming","volume":"21","author":"Bueno","year":"1999","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0167-6423(97)00007-5","article-title":"Partial order and contextual net semantics for atomic and locally atomic CC programs","volume":"30","author":"Bueno","year":"1998","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB17","doi-asserted-by":"crossref","unstructured":"D. Cabeza, M. Hermenegildo, Extracting non-strict independent and-parallelism using sharing and freeness information, in: The 1994 International Static Analysis Symposium, number 864 in LNCS, Namur, Springer, Belgium, September 1994, pp. 297\u2013313","DOI":"10.1007\/3-540-58485-4_48"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB18","unstructured":"J.-H. Chang, A.M. Despain, D. Degroot, And-Parallelism of logic programs based on static data dependency analysis, in: Compcon Spring '85, February 1985, pp. 218\u2013225"},{"issue":"3","key":"10.1016\/S0167-8191(00)00051-X_BIB19","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/185403.185453","article-title":"Parallel logic programming systems","volume":"26","author":"Chassin","year":"1994","journal-title":"Comput. Surveys"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB20","unstructured":"J. Chassin, J. Syre, H. Westphal, Implementation of a parallel prolog system on a commercial multiprocessor, in: Proceedings of the Ecai, August 1988, pp. 278\u2013283"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB21","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","article-title":"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints","author":"Cousot","year":"1977","journal-title":"in: The Fourth ACM Symposium on Principles of Programming Languages"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB22","doi-asserted-by":"crossref","unstructured":"M. Garc\u0131\u0301a de la Banda, F. Bueno, M. Hermenegildo, Towards independent and-parallelism in CLP, in: Programming Languages: Implementation, Logics, and Programs, number 1140 in LNCS, Springer, Aachen, Germany, September 1996, pp. 77\u201391","DOI":"10.1007\/3-540-61756-6_78"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB23","unstructured":"S. Debray, M. Jain, A simple program transformation for parallelism, in: The 1994 International Symposium on Logic Programming, MIT Press, Cambridge, MA, November 1994, pp. 305\u2013319"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB24","doi-asserted-by":"crossref","unstructured":"S.K. Debray, N.-W. Lin, M. Hermenegildo, Task granularity analysis in logic programs, in: Proceedings of the 1990 ACM Conference on Programming Language Design and Implementation, ACM Press, New York, June 1990, pp. 174\u2013188","DOI":"10.1145\/93542.93564"},{"issue":"5","key":"10.1016\/S0167-8191(00)00051-X_BIB25","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1145\/161468.161472","article-title":"Cost analysis of logic programs","volume":"15","author":"Debray","year":"1993","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB26","doi-asserted-by":"crossref","unstructured":"S.K. Debray, P. L\u00f3pez-Garc\u0131\u0301a, M. Hermenegildo, Non-failure analysis for logic programs, in: The 1997 International Conference on Logic Programming, MIT Press, Cambridge, MA, June 1997, pp. 48\u201362","DOI":"10.7551\/mitpress\/4299.003.0010"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB27","doi-asserted-by":"crossref","unstructured":"S.K. Debray, P. L\u00f3pez-Garc\u0131\u0301a, M. Hermenegildo, N.-W. Lin, Estimating the computational cost of logic programs, in: Static Analysis Symposium, SAS'94, number 864 in LNCS, Springer, Namur, Belgium, September 1994, pp. 255\u2013265","DOI":"10.1007\/3-540-58485-4_45"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB28","unstructured":"S.K. Debray, P. L\u00f3pez-Garc\u0131\u0301a, M. Hermenegildo, N.-W. Lin, Lower bound cost estimation for logic programs, in: The 1997 International Logic Programming Symposium, MIT Press, Cambridge, MA, October 1997, pp. 291\u2013305"},{"issue":"3","key":"10.1016\/S0167-8191(00)00051-X_BIB29","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","article-title":"Functional computations in logic programs","volume":"11","author":"Debray","year":"1989","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB30","unstructured":"D. DeGroot, Restricted AND-parallelism, in: The International Conference on Fifth Generation Computer Systems, Tokyo, November 1984, pp. 471\u2013478"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB31","doi-asserted-by":"crossref","unstructured":"D. DeGroot, A technique for compiling execution graph expressions for restricted AND-parallelism in logic programs, in: The International Supercomputing Conference, Springer, Athens, 1987, pp. 80\u201389","DOI":"10.1007\/3-540-18991-2_63"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB32","unstructured":"European Computer Research Center, Eclipse User's Guide, 1993"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB33","doi-asserted-by":"crossref","unstructured":"M. Garc\u0131\u0301a de la Banda, F. Bueno, M. Hermenegildo, Towards independent And-parallelism in CLP, in: Programming Languages: Implementation, Logics, and Programs, number 1140 in LNCS, Springer, Aachen, Germany, September 1996, pp. 77\u201391","DOI":"10.1007\/3-540-61756-6_78"},{"issue":"5","key":"10.1016\/S0167-8191(00)00051-X_BIB34","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/232706.232734","article-title":"Global analysis of constraint logic programs","volume":"18","author":"Garc\u0131\u0301a de la Banda","year":"1996","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB35","doi-asserted-by":"crossref","unstructured":"M. Garc\u0131\u0301a de la Banda, M. Hermenegildo, K. Marriott, Independence in CLP Languages, ACM Trans. Program. Languages Syst. 22 (2) (2000) 269\u2013339","DOI":"10.1145\/349214.349224"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB36","unstructured":"B. Hausman, Handling speculative work in or-parallel prolog: evaluation results, in: North American Conference on Logic Programming, Austin, TX, October 1990, pp. 721\u2013736"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB37","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, An Abstract Machine for Restricted AND-parallel execution of Logic Programs, in: The Third International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science, Imperial College, Springer, Berlin, July 1986, pp. 25\u201340","DOI":"10.1007\/3-540-16492-8_62"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB38","unstructured":"M. Hermenegildo, Relating goal scheduling, precedence, and memory management in AND-parallel execution of logic programs, in: The Fourth International Conference on Logic Programming, University of Melbourne, MIT Press, Cambridge, MA, May 1987, pp. 556\u2013575"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB39","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, Automatic parallelization of irregular and pointer based computations: perspectives from logic and constraint Programming, in: Proceedings of EUROPAR'97, vol. 1300 of LNCS, Springer, Berlin, August 1997, pp. 31\u201346 (invited)","DOI":"10.1007\/BFb0002715"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB40","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, D. Cabeza, M. Carro, Using attributed variables in the implementation of concurrent and parallel logic programming systems, in: Proceedings of the 12th International Conference on Logic Programming, MIT Press, Cambridge, MA, June 1995, pp. 631\u2013645","DOI":"10.7551\/mitpress\/4298.003.0062"},{"issue":"2\/3","key":"10.1016\/S0167-8191(00)00051-X_BIB41","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0096-0551(96)00011-2","article-title":"Relating data\u2013parallelism and (And)\u2013 parallelism in logic programs","volume":"22","author":"Hermenegildo","year":"1996","journal-title":"Comput. Languages J."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB42","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo and The CLIP Group, Some methodological issues in the design of CIAO \u2013 A generic, parallel, concurrent constraint system, in: The Principles and Practice of Constraint Programming, number 874 in LNCS, Springer, Berlin, May 1994, pp. 123\u2013133","DOI":"10.1007\/3-540-58601-6_95"},{"issue":"3,4","key":"10.1016\/S0167-8191(00)00051-X_BIB43","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\/S0167-8191(00)00051-X_BIB44","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, R.I. Nasr, Efficient management of backtracking in AND-parallelism, in: The Third International Conference on Logic Programming, number 225 in LNCS, Imperial College, Springer, Berlin, July 1986, pp. 40\u201355","DOI":"10.1007\/3-540-16492-8_63"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB45","unstructured":"M. Hermenegildo, F. Rossi, On the correctness and efficiency of independent And-parallelism in logic programs, in: 1989 North American Conference on Logic Programming, MIT Press, Cambridge, MA, October 1989, pp. 369\u2013390"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB46","unstructured":"M. Hermenegildo, F. Rossi, Non-Strict Independent And-parallelism, in: 1990 International Conference on Logic Programming, MIT Press, Cambridge, MA, June 1990, pp. 237\u2013252"},{"issue":"1","key":"10.1016\/S0167-8191(00)00051-X_BIB47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(93)00007-F","article-title":"Strict and non-strict independent And-parallelism in logic programs: correctness, efficiency, and compile-time conditions","volume":"22","author":"Hermenegildo","year":"1995","journal-title":"J. Logic program."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB48","doi-asserted-by":"crossref","unstructured":"L. Huelsbergen, J.R. Larus, A. Aiken, Using run-time list sizes to guide parallel thread creation, in: Proceedings of the ACM Conference on Lisp and Functional Programming, June 1994","DOI":"10.1145\/182409.182442"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB49","unstructured":"D. Jacobs, A. Langen, Accurate and efficient approximation of variable aliasing in logic programs, in: 1989 North American Conference on Logic Programming, MIT Press, Cambridge, MA, October 1989"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB50","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: a survey","volume":"19\/20","author":"Jaffar","year":"1994","journal-title":"J. Logic Program."},{"key":"10.1016\/S0167-8191(00)00051-X_BIB51","unstructured":"S. Janson S. Haridi, Programming Paradigms of the Andorra Kernel Language, in: 1991 International Logic Programming Symposium, MIT Press, Cambridge, MA, 1991, pp. 167\u2013183"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB52","doi-asserted-by":"crossref","unstructured":"A.H. Karp, R.C. Babb, A Comparison of 12 Parallel Fortran Dialects, IEEE Software, September 1988","DOI":"10.1109\/52.7943"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB53","unstructured":"A. King, K. Shen, F. Benoy, Lower-bound time-complexity analysis of logic programs, in: 1997 International Logic Programming Symposium, MIT Press, Cambridge, MA, October 1997, pp. 261\u2013275"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB54","first-page":"715","article-title":"A methodology for granularity based control of parallelism in logic programs","volume":"22","author":"L\u00f3pez-Garc\u0131\u0301a","year":"1996","journal-title":"Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation"},{"issue":"2,3","key":"10.1016\/S0167-8191(00)00051-X_BIB55","article-title":"The aurora Or-parallel prolog system","volume":"7","author":"Lusk","year":"1990","journal-title":"New Generation Computing"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB56","series-title":"Programming with Constraints: An Introduction","author":"Marriot","year":"1998"},{"issue":"3","key":"10.1016\/S0167-8191(00)00051-X_BIB57","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","article-title":"An efficient unification algorithm","volume":"4","author":"Martelli","year":"1982","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB58","unstructured":"K. Muthukumar, M. Hermenegildo, Determination of variable dependence information at compile-time through abstract interpretation, in: 1989 North American Conference on Logic Programming, MIT Press, Cambridge, MA, October 1989, pp. 166\u2013189"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB59","unstructured":"K. Muthukumar, M. Hermenegildo, The CDG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent And-parallelism, in: The International Conference on Logic Programming, MIT Press, June 1990, pp. 221\u2013237"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB60","unstructured":"K. Muthukumar, M. Hermenegildo, Combined determination of sharing and freeness of program variables through abstract interpretation, in: 1991 International Conference on Logic Programming, MIT Press, Cambridge, MA, June 1991, pp. 49\u201363"},{"issue":"2","key":"10.1016\/S0167-8191(00)00051-X_BIB61","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","article-title":"Linear unification","volume":"16","author":"Paterson","year":"1978","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB62","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, M. Hermenegildo, &ACE: A high-performance parallel prolog system, in: International Parallel Processing Symposium, IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society, Silver Spring, MD, April 1995, pp. 564\u2013572","DOI":"10.1109\/IPPS.1995.395891"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB63","doi-asserted-by":"crossref","unstructured":"E. Pontelli, G. Gupta, F. Pulvirenti, A. Ferro, Automatic compile-time parallelization of prolog programs for dependent And-parallelism, in: Proceedings of the 14th International Conference on Logic Programming, MIT Press, Cambridge, MA, July 1997, pp. 108\u2013122","DOI":"10.7551\/mitpress\/4299.003.0014"},{"issue":"2\/3","key":"10.1016\/S0167-8191(00)00051-X_BIB64","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0096-0551(96)00010-0","article-title":"Improving the efficiency of nondeterministic And\u2013parallel systems","volume":"22","author":"Pontelli","year":"1996","journal-title":"The Computer Languages Journal"},{"issue":"8","key":"10.1016\/S0167-8191(00)00051-X_BIB65","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","article-title":"A practical algorithm for exact array dependence analysis","volume":"35","author":"Pugh","year":"1992","journal-title":"Communications of the ACM"},{"issue":"23","key":"10.1016\/S0167-8191(00)00051-X_BIB66","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB67","doi-asserted-by":"crossref","unstructured":"V. Santos-Costa, D.H.D. Warren, R. Yang, Andorra-I: a parallel prolog system that transparently exploits both And- and Or-parallelism, in: Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, April 1991, SIGPLAN Notices vol 26(7), July 1991, pp. 83\u201393","DOI":"10.1145\/109626.109635"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB68","doi-asserted-by":"crossref","unstructured":"M. Shapiro, S. Horwitz, Fast and accurate flow-insensitive points-to analysis, in: POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, Paris, France, January 1997, pages 1\u201314","DOI":"10.1145\/263699.263703"},{"issue":"1\u20133","key":"10.1016\/S0167-8191(00)00051-X_BIB69","doi-asserted-by":"crossref","first-page":"245","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":"Journal of Logic Programming"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB70","series-title":"Joint International Conference and Symposium on Logic Programming","first-page":"85","article-title":"Distance: a new metric for controlling granularity for parallel execution","author":"Shen","year":"1998"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB71","doi-asserted-by":"crossref","unstructured":"K. Shen, M. Hermenegildo, Flexible scheduling for non-deterministic, And-parallel execution of logic programs, in: Proceedings of EuroPar'96, number 1124 in LNCS, Springer, Berlin, August 1996, pp. 635\u2013640","DOI":"10.1007\/BFb0024759"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB72","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB73","unstructured":"E. Tick, Compile-Time Granularity Analysis of Parallel Logic Programming Languages, in: International Conference on Fifth Generation Computer Systems. Tokyo, November 1988"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB74","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","article-title":"1983\u20131993: the wonder years of sequential prolog implementation","volume":"19\/20","author":"Van Roy","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB75","unstructured":"D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025, 1983"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB76","doi-asserted-by":"crossref","unstructured":"D.H.D. Warren, OR-Parallel Execution Models of Prolog, in: Proceedings of TAPSOFT '87, Lecture Notes in Computer Science, Springer, Berlin, March 1987","DOI":"10.1007\/BFb0014984"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB77","unstructured":"D.H.D. Warren, The Extended Andorra Model with Implicit Control, Presented at ICLP'90 Workshop on Parallel Logic Programming, Eilat, Israel, June 1990 (unpublished)"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB78","unstructured":"R. Warren, M. Hermenegildo, S.K. Debray, On the practicality of global flow analysis of logic programs, in: The Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, August 1988, pp. 684\u2013699"},{"key":"10.1016\/S0167-8191(00)00051-X_BIB79","series-title":"High Performance Compilers for Parallel Computing","author":"Wolfe","year":"1996"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016781910000051X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016781910000051X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T14:31:52Z","timestamp":1704033112000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016781910000051X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":79,"journal-issue":{"issue":"13-14","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S016781910000051X"],"URL":"https:\/\/doi.org\/10.1016\/s0167-8191(00)00051-x","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}