{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:29:42Z","timestamp":1672691382978},"reference-count":76,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1007\/bf02583023","type":"journal-article","created":{"date-parts":[[2007,3,23]],"date-time":"2007-03-23T03:07:53Z","timestamp":1174619273000},"page":"433-478","source":"Crossref","is-referenced-by-count":3,"title":["High-level characteristics of or- and independent and-parallelism in prolog"],"prefix":"10.1007","volume":"24","author":[{"given":"Kish","family":"Shen","sequence":"first","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02583023_CR1","unstructured":"K. Shen and M. V. Hermenegildo, A Simulation Study of Or- and Independent And-Parallelism. In:Logic Programming: Proc. of Int'l. Symp. V. Saraswat and K. Ueda, (eds.), The MIT Press, pp. 135\u2013115 (1991)."},{"key":"BF02583023_CR2","doi-asserted-by":"crossref","unstructured":"J. S. Conery and D. F. Kibler, Parallel Interpretation of Logic Programs.Proc. of the ACM Conf. on Functional Programming Languages and Computer Architecture, pp. 163\u2013170 (October 1981).","DOI":"10.1145\/800223.806775"},{"key":"BF02583023_CR3","unstructured":"L. V. Kal\u00e9, Parallel Architectures for Problem Solving.Ph.D. Thesis, State University of New York at Stony Brook (1985)."},{"key":"BF02583023_CR4","unstructured":"L. Naish, Parallelizing NU-Prolog.Fifth Int'l. Conf. and Symp. on Logic Programming, University of Washington, The MIT Press, pp. 1546\u20131564 (August 1988)."},{"key":"BF02583023_CR5","first-page":"819","volume":"3","author":"E. L. Lusk","year":"1988","unstructured":"E. L. Lusk, R. Butler, T. Disz, R. Olson, R. A. Overbeek, R. Stevens, D. H. D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski, and B. Hausman. The Aurora Or-Parallel Prolog System.Proc. of the Int'l. Conf. on Fifth Generation Computer Systems Institute for New Generation Computer Technology,3:819\u2013830 (1988).","journal-title":"Proc. of the Int'l. Conf. on Fifth Generation Computer Systems Institute for New Generation Computer Technology"},{"key":"BF02583023_CR6","unstructured":"U. C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.-C. Syre, and H. Westphal. The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results. InProc. of the Int'l. Conf. on Fifth Generation Computer Systems 3:841\u2013850 (1988)."},{"key":"BF02583023_CR7","unstructured":"Y. J. Lin and V. Kumar, AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results.Logic Programming: Proc. of the Fifth Int'l. Conf. and Symp. The MIT Press, pp. 1123\u20131141 (August 1988)."},{"key":"BF02583023_CR8","unstructured":"G. Gupta and B. Jayaraman, Combined And-Or Parallelism on Shared Memory Multiprocessors. In:Logic Programming: Proc. of the North American Conf. E. L. Lusk and R. A. Overbeek, (eds.),1:332\u2013349 (1989)."},{"key":"BF02583023_CR9","unstructured":"Z. Lin, Self-organizing Task Scheduling for Parallel Execution of Logic Programs.Proc. of the Int'l. Conf. on Fifth Generation Computer Systems, ICOT, pp. 859\u2013868 (1992)."},{"issue":"4","key":"BF02583023_CR10","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF03037415","volume":"5","author":"W. F. Clocksin","year":"1988","unstructured":"W. F. Clocksin and H. Alshawi, A Method for Efficiently Executing Horn Clause Programs Using Multiple Processors.New Generation Computing,5(4):361\u2013376 (1988).","journal-title":"New Generation Computing"},{"issue":"6","key":"BF02583023_CR11","first-page":"445","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"K. A. M. Ali and R. Karlsson, Full Prolog and Scheduling Or-Parallelism in Muse.IJPP,19(6):445\u2013475 (December 1990).","journal-title":"IJPP"},{"key":"BF02583023_CR12","unstructured":"M. V. Hermenegildo, An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. Ph.D. Thesis, The University of Texas at Austin (1986)."},{"issue":"3,4","key":"BF02583023_CR13","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. V. Hermenegildo","year":"1991","unstructured":"M. V. Hermenegildo and K. Greene, The &-Prolog System: Exploiting Independent And-Parallelism.New Generation Computing,9(3,4):233\u2013257 (1991).","journal-title":"New Generation Computing"},{"key":"BF02583023_CR14","unstructured":"K. Shen, Exploiting And-Parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS).Logic Programming: Proc. of the Joint Int'l. Conf. and Symp. on Logic Programming, The MIT Press, pp. 717\u2013731 (1992)."},{"issue":"1","key":"BF02583023_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037216","volume":"14","author":"V. Santos Costa","year":"1996","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang. Andorra-I Compilation.New Generation Computing,14(1):3\u201330 (January 1996).","journal-title":"New Generation Computing"},{"key":"BF02583023_CR16","unstructured":"G. Gupta, V. Santos Costa, R. Yang, and M. V. Hermenegildo, IDIOM: A Model Integrating Dependent-, Independent-, and Or-Parallelism. In:Logic Programming: Proc. of Int'l. Symp. V. Saraswat and K. Ueda, (eds.), The MIT Press, pp. 152\u2013166 (1991)."},{"key":"BF02583023_CR17","unstructured":"J. Bevemyr, T. Lindgren, and H. Millroth, Reform Prolog: the Language and its Implementation.Logic Programming: Proc. of the Tenth Int'l. Conf. The MIT Press (1993)."},{"key":"BF02583023_CR18","unstructured":"H. Millroth, Reforming Compilation of Logic Programs. In:Logic Programming: Proc. of Int'l. Symp. V. Saraswat and K. Ueda, (eds.), The MIT Press, pp. 485\u2013499 (1991)."},{"key":"BF02583023_CR19","unstructured":"G. Gupta, M. V. Hermenegildo, E. Pontelli, and V. Santos Costa, ACE: And\/Or-Parallel Copying-Based Execution of Logic Programs.Logic Programming: Proc. of the Eleventh Conf., The MIT Press, pp. 93\u2013110 (June 1994)."},{"key":"BF02583023_CR20","doi-asserted-by":"crossref","unstructured":"W. F. Clocksin and C. S. Mellish,Programming in Prolog. Second Edition, Springer-Verlag, (1984).","DOI":"10.1007\/978-3-642-96873-0"},{"key":"BF02583023_CR21","unstructured":"L. Sterling and E. Shapiro,The Art of Prolog. The MIT Press (1986)."},{"issue":"3","key":"BF02583023_CR22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Chassin Kergommeaux de","year":"1994","unstructured":"J. Chassin de Kergommeaux and P. Codognet, Parallel Logic Programming Systems.Computing Surveys,26(3):295\u2013336 (September 1994).","journal-title":"Computing Surveys"},{"key":"BF02583023_CR23","unstructured":"J. S. Conery, The And\/Or Process Model for Parallel Interpretation of Logic Programs. Ph.D. Thesis, The University of California At Irvine, Technical Report 204 (1983)."},{"key":"BF02583023_CR24","unstructured":"K. Shen, Implementing Dynamic Dependent And-parallelism.Logic Programming: Proc. of the Tenth Int'l. Conf. The MIT Press, pp. 167\u2013183 (1993)."},{"key":"BF02583023_CR25","unstructured":"M. V. Hermenegildo and F. Rossi, Non-Strict Independent And-Parallelism.Int'l. Conf. on Logic Programming, The MIT Press, pp. 237\u2013252 (June 1990)."},{"key":"BF02583023_CR26","unstructured":"W. Winsborough and A. W\u00e6rn, Transparent And-Parallelism in the Presence of Shared Free Variables. InLogic Programming: Proc. of the Fifth Int'l. Conf. and Symp. R. A. Kowalski and K. A. Bowen, (eds.), The MIT Press,1:700\u2013710 (1988)."},{"issue":"1","key":"BF02583023_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(93)00007-F","volume":"22","author":"M. V. Hermenegildo","year":"1995","unstructured":"M. V. Hermenegildo and F. Rossi, Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.The Journal of Logic Programming,22(1):1\u201345 (1995).","journal-title":"The Journal of Logic Programming"},{"key":"BF02583023_CR28","doi-asserted-by":"crossref","unstructured":"M. V. Hermenegildo and M. Carro, Relating Data-Parallelism and And-Parallelism in Logic Programs.Proc. of EURO-PAR'95, Swedish Institute of Computer Science (SICS) (August 1995).","DOI":"10.1007\/BFb0020453"},{"key":"BF02583023_CR29","unstructured":"A. Singhal and Y. N. Patt, Unification Parallelism: How Much Can We Exploit? In:Logic Programming: Proc. of North American Conf., E. L. Lusk and R. A. Overbeek, (eds.), The MIT Press,2:1135\u20131147 (1989)."},{"key":"BF02583023_CR30","volume-title":"Parallel Unification","author":"J. Barklund","year":"1990","unstructured":"J. Barklund, Parallel Unification. Ph.D. Thesis, Computer Science Department Uppsala University, Uppsala (1990)."},{"issue":"3","key":"BF02583023_CR31","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(89)90015-0","volume":"6","author":"A. L. Delcher","year":"1989","unstructured":"A. L. Delcher and S. Kasif, Some Results on the Complexity of Exploiting Dependency in Parallel Logic Programs,The Journal of Logic Programming,6(3):229\u2013241 (May 1989).","journal-title":"The Journal of Logic Programming"},{"key":"BF02583023_CR32","unstructured":"D. C. Sehr and L. V. Kal\u00e9, Estimating the Inherent Parallelism in Prolog Programs.Proc. of the Int'l. Conf. on Fifth Generation Computer System, ICOT, pp. 783\u2013790 (1992)."},{"key":"BF02583023_CR33","unstructured":"A. Ciepielewski, S. Haridi, and B. Hausman, Initial Evaluation of a Virtual Machine for Or-Parallel Execution of Logic Programs,IFIP-TC10 Working Conf. on Fifth Generation Computer Architecture, Manchester, United Kingdom (1985)."},{"key":"BF02583023_CR34","unstructured":"K. Shen and D. H. D. Warren, A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.Proc. of the Fourth Symp. on Logic Programming. Computer Society Press of the IEEE, (September 1987)."},{"key":"BF02583023_CR35","unstructured":"L. Hirschman, W. C. Hopkins, and R. C. Smith, Or-Parallel Speed-Up in Natural Language Processing: A Case Study. InLogic Programming: Proc. of the Fifth Int'l. Conf. and Symp. R. A. Kowalski and K. A. Bowen, The MIT Press,1:263\u2013279 (1988)."},{"issue":"12","key":"BF02583023_CR36","doi-asserted-by":"crossref","first-page":"1434","DOI":"10.1109\/12.61072","volume":"39","author":"B. S. Fagin","year":"1990","unstructured":"B. S. Fagin and A. M. Despain, The Performance of Parallel Prolog Programs.IEEE Trans. on Computers,39(12):1434\u20131445 (December 1990).","journal-title":"IEEE Trans. on Computers"},{"key":"BF02583023_CR37","unstructured":"M. J. Fern\u00e1ndez, M. Carro, and M. V. Hermenegildo, IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.ICLP Workshop on Parallel and Data Parallel Execution of Logic Programs (1994)."},{"key":"BF02583023_CR38","unstructured":"D. DeGroot, Restricted AND-Parallelism.Int'l. Conf. on Fifth Generation Computer Systems. Tokyo, pp. 471\u2013478 (November 1984)."},{"key":"BF02583023_CR39","series-title":"Fifth Int'l. Conf. and Symp. on Logic Programming","first-page":"684","volume-title":"On the Practicality of Global Flow Analysis of Logic Programs","author":"R. Warren","year":"1988","unstructured":"R. Warren, M. V. Hermenegildo, and S. Debray, On the Practicality of Global Flow Analysis of Logic Programs.Fifth Int'l. Conf. and Symp. on Logic Programming. The MIT Press, Seattle, Washington, pp. 684\u2013699 (August 1988)."},{"key":"BF02583023_CR40","unstructured":"K. Muthukumar and M. V. Hermenegildo, The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-Parallelism. InLogic Programming: Proc. of the Seventh Int'l. Conf., D. H. D. Warren and P. Szeredi, (eds.), The MIT Press, pp. 221\u2013236 (1990)."},{"key":"BF02583023_CR41","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, and M. V. Hermenegildo, Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization.Int'l. Symp. on Logic Programming, The MIT Press, pp. 320\u2013336 (November 1994)."},{"key":"BF02583023_CR42","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"D. Michie, \u201cMemo\u201d Functions and Machine Learning.Nature, 218:19\u201322 (April 1968).","journal-title":"Nature"},{"key":"BF02583023_CR43","unstructured":"L. Kal\u00e9, Completeness and Full Parallelism of Parallel Logic Programming Schemes.Fourth IEEE Symp. on Logic Programming, pp. 125\u2013133 (1987)."},{"key":"BF02583023_CR44","unstructured":"P. Biswas, S.-C. Su, and D. Y. Y. Yun, A Scalable Abstract Machine Model to Support Limited-OR (LOR)\/Restricted-AND Parallelism (RAP) in Logic Programs. In:Logic Programming: Proc. of the Fifth Int'l. Conf. and Symp. R. A. Kowalski and K. A. Bowen, (eds.), The MIT Press,2:1160\u20131179 (1988)."},{"key":"BF02583023_CR45","unstructured":"K. Shen, An Investigation of the Argonne Model of Or-Parallel Prolog. Master's Thesis, University of Manchester, 1986. Available as University of Manchester Computer Science Technical Report UMCS-87-1-1."},{"key":"BF02583023_CR46","series-title":"Internal report","first-page":"60439","volume-title":"Prolog on Multiprocessors","author":"R. A. Overbeek","year":"1985","unstructured":"R. A. Overbeek, J. Gabriel, T. Lindholm, and E. L. Lusk, Prolog on Multiprocessors. Internal report, Argonne National Laboratory, Argonne, Illinois 60439 (1985)."},{"key":"BF02583023_CR47","unstructured":"P. Tinker and G. Linstrom, A Performance-Oriented Design for Or-Parallel Logic Programming. In:Logic Programming: Proc. of the Fourth Int'l. Conf. J.-L. Lassez, (eds.), The MIT Press,2:601\u2013615 (1987)."},{"key":"BF02583023_CR48","doi-asserted-by":"crossref","unstructured":"D.H. D. Warren, OR-Parallel Execution Models of Prolog.Proc. of TAPSOFT'87, Lecture Notes in Computer Science. Springer-Verlag (March 1987).","DOI":"10.1007\/BFb0014984"},{"key":"BF02583023_CR49","unstructured":"K. A. M. Ali, OR-Parallel Execution of Prolog on BC-Machine. In:Logic Programming: Proceedings of the Fifth International Conference and Symposium, R. A. Kowalski and K.A. Bowen, (eds.), The MIT Press,2:1531\u20131545 (1988)."},{"key":"BF02583023_CR50","unstructured":"M. J. Wise,Prolog Multiprocessors. Prentice-Hall (1986)."},{"issue":"12","key":"BF02583023_CR51","doi-asserted-by":"crossref","first-page":"1665","DOI":"10.1109\/12.9745","volume":"37","author":"V. K. Janakiram","year":"1988","unstructured":"V. K. Janakiram, D. P. Agrawal, and R. Mehrotra, A Randomised Parallel Backtracking Algorithm.IEEE Trans. on Computers,37(12):1665\u20131676 (December 1988).","journal-title":"IEEE Trans. on Computers"},{"key":"BF02583023_CR52","unstructured":"P. Szeredi, Performance Analysis of the Aurora Or-Parallel System. In:Logic Programming: Proc. of the North American Conf. E. L. Lusk and R. A. Overbeek, (eds.), The MIT Press,2:713\u2013732 (October 1989)."},{"key":"BF02583023_CR53","unstructured":"M. V. Hermenegildo and K. J. Green, &-Prolog and Its Performance: Exploiting Independent And-Parallelism. InLogic Programming: Proc. of the Seventh Int'l. Conf. D. H. D. Warren and P. Szeredi, (eds.), The MIT Press, pp. 253\u2013268 (1990)."},{"key":"BF02583023_CR54","volume-title":"Studies in Prolog Architectures","author":"E. Tick","year":"1987","unstructured":"E. Tick, Studies in Prolog Architectures. Ph.D. Thesis, Stanford University, Stanford, California 94305 (June 1987)."},{"key":"BF02583023_CR55","unstructured":"K. Shen, Studies of And\/Or Parallelism in Prolog. Ph.D. Thesis, Computer Laboratory, University of Cambridge (1992)."},{"key":"BF02583023_CR56","first-page":"770","volume":"2","author":"G. Gupta","year":"1992","unstructured":"G. Gupta and M. V. Hermenegildo, Recomputation Based Implementation of And-Or Parallel Prolog.Proc. of the Int'l. Conf. on Fifth Generation Computer Systems Institute for New Generation Computing,2:770\u2013782 (June 1992).","journal-title":"Proc. of the Int'l. Conf. on Fifth Generation Computer Systems Institute for New Generation Computing"},{"key":"BF02583023_CR57","doi-asserted-by":"crossref","unstructured":"S. K. Debray, N.-W. Lin, and M. V. Hermenegildo, Task Granularity Analysis in Logic Programs.Proc. of the ACM SIGPLAN'90 Conf. on Programming Language Design and Implementation, pp. 174\u2013188 (June 1990).","DOI":"10.1145\/93542.93564"},{"key":"BF02583023_CR58","unstructured":"A. King and P. Soper, Granularity Analysis of Concurrent Logic Programs.The Fifth Int'l. Symp. on Computer and Inf. Sci., Nevsehir, Cappadocia, Turkey (October 1990)."},{"key":"BF02583023_CR59","first-page":"809","volume":"2","author":"X. Zhong","year":"1992","unstructured":"X. Zhong, E. Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, and R. Sundararajan, Towards an Efficient Compile-Time Granularity Analysis Algorithm.Proc. of Int'l. Conf. on Fifth Generation Computer Systems, Institute for New Generation Computing2:809\u2013816. (June 1992)","journal-title":"Proc. of Int'l. Conf. on Fifth Generation Computer Systems, Institute for New Generation Computing"},{"key":"BF02583023_CR60","unstructured":"P. L. Garc\u00eda, M. V. Hermenegildo, and S. Debray, Towards Granularity Based Control of Parallelism in Logic Programs.Proc. of First Int'l. Symp. on Parallel Symbolic Computation, PASCO'94, World Scientific Publishing Company, pp. 133\u2013144 (September 1994)."},{"key":"BF02583023_CR61","doi-asserted-by":"crossref","unstructured":"S. Debray, P. L. Garc\u00eda, M. V. Hermenegildo, and N. Lin, Lower Bound Cost Estimation for Logic Programs.Int'l. Static Analysis Symp. Namur, Belgium pp. 255\u2013266 (September 1994).","DOI":"10.1007\/3-540-58485-4_45"},{"key":"BF02583023_CR62","unstructured":"A.J. Beaumont and D. H. D. Warren, Scheduling Speculative Work on Or-Parallel Prolog Systems.Logic Programming: Proc. of the Tenth Int'l. Conf. The MIT Press, pp. 135\u2013149 (1993)."},{"key":"BF02583023_CR63","doi-asserted-by":"crossref","unstructured":"R.Y. Sindaha, The Dharma Scheduler\u2014Definitive Scheduling in Aurora on Multiprocessors Architecture.Proc. of the Fourth IEEE Symp. on Parallel and Distributed Processing. IEEE Computer Society Press, pp. 296\u2013303 (December 1992).","DOI":"10.1109\/SPDP.1992.242731"},{"issue":"6","key":"BF02583023_CR64","first-page":"449","volume":"21","author":"K. A. M. Ali","year":"1992","unstructured":"K. A. M. Ali and R. Karlsson, Scheduling Speculative Work in Muse and Performance Results.IJPP,21(6):449\u2013476 (December 1992).","journal-title":"IJPP"},{"key":"BF02583023_CR65","unstructured":"R.Y. Sindaha, Branch-level Scheduling in Aurora: The Dharma Scheduler. In:Logic Programming: Proc. of Int'l. Symp., D. Miller, (ed.), The MIT Press, pp. 403\u2013419 (1993)."},{"key":"BF02583023_CR66","first-page":"297","volume":"864","author":"D. Cabeza","year":"1994","unstructured":"D. Cabeza and M. V. Hermenegildo, Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.Int'l. Static Analysis Symp., Namur, BelgiumLNCS,864:297\u2013313 (September 1994).","journal-title":"Int'l. Static Analysis Symp., Namur, Belgium LNCS"},{"key":"BF02583023_CR67","unstructured":"E. Pontelli, G. Gupta, and M. V. Hermenegildo, &ACE: A High-Performance Parallel Prolog System.Int'l. Parallel Processing Symp. IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society (April 1995)."},{"key":"BF02583023_CR68","unstructured":"K. Shen, Prometheus: An And\/Or Parallel Prolog\u2014A High-level View. Technical Report TR-91-39, Computer Science Department, University of Bristol (1991)."},{"key":"BF02583023_CR69","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang, The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.Logic Programming: Proc. of the Eighth Int'l. Conf., pp. 825\u2013839 (1991)."},{"key":"BF02583023_CR70","doi-asserted-by":"crossref","unstructured":"M. V. Hermenegildo and the CLIP Group, Some Methodological Issues in the Design of CIAO\u2014A Generic, Parallel Concurrent Constraint System.Proc. of the 1994Workshop on the Principles and Practice of Constraint Programming. University of Washington (May 1994).","DOI":"10.1007\/3-540-58601-6_95"},{"key":"BF02583023_CR71","unstructured":"M. V. Hermenegildo, F. Bueno, M. Garc\u00eda de la Banda, and G. Puebla, The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.Proc. of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon (December 1995)."},{"key":"BF02583023_CR72","doi-asserted-by":"crossref","unstructured":"R. P. Gabriel,Performance and Evaluation of Lisp Systems. Computer Systems Series. The MIT Press (1985).","DOI":"10.7551\/mitpress\/5298.001.0001"},{"key":"BF02583023_CR73","doi-asserted-by":"crossref","unstructured":"E. Tick, Memory Performance of Lisp and Prolog Programs.Third Int'l. Conf. on Logic Programming, Lecture Notes in Computer Science, Imperial College, Springer-Verlag,225:642\u2013649 (July 1986). Also available as Stanford University Technical Report CSL-TR-86-291.","DOI":"10.1007\/3-540-16492-8_113"},{"key":"BF02583023_CR74","unstructured":"R. Yang, A. J. Beaumont, I. Dutra, V. Santos Costa, and D. H. D. Warren, Performance of the Compiler-based Andorra-I System.Logic Programming: Proc. of the Tenth Int'l. Conf., The MIT Press, pp. 150\u2013166 (1993)."},{"key":"BF02583023_CR75","unstructured":"P. Van Roy, A Prolog Compiler for the PLM. Master's Thesis, University of California at Berkeley (August 1984). Also available as Technical Report UCB\/CSD 84\/203."},{"key":"BF02583023_CR76","unstructured":"L. B. Kov\u00e1cs, An Incremental Prolog Systems Development for Floor Plan Design by Dissecting.Proc. of The Practical Application of Prolog, Volume 2 (April 1992)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02583023.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02583023\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02583023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:43:40Z","timestamp":1558323820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02583023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":76,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF02583023"],"URL":"https:\/\/doi.org\/10.1007\/bf02583023","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}