{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T18:22:19Z","timestamp":1746728539998},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf03037180","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:28:04Z","timestamp":1240352884000},"page":"297-321","source":"Crossref","is-referenced-by-count":8,"title":["And-Or parallel Prolog: A recomputation based approach"],"prefix":"10.1007","volume":"11","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037180_CR1","unstructured":"Ali, K. and Karlsson, R., \u201cThe Muse Or-Parallel Prolog Model and Its Performance,\u201d inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, 1990."},{"key":"BF03037180_CR2","doi-asserted-by":"crossref","unstructured":"Ali, K. and Karlsson, R., \u201cFull Prolog and Scheduling Or-Parallelism in Muse,\u201d inInternational Journal of Parallel Programming, 19, 6, pp. 445\u2013574, 1991.","DOI":"10.1007\/BF01397627"},{"key":"BF03037180_CR3","unstructured":"Baron, U. et. al., \u201cThe Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results,\u201d inProceedings of the 1988 Conference on Fifth Generation Computing Systems, ICOT, Ohmsha\/Springer-Verlag, pp. 841\u2013850, 1988."},{"key":"BF03037180_CR4","unstructured":"Carro, M., Gomez, L. and Hermenegildo, M., \u201cSome Event-Driven Paradigms for the Visualization of Parallelism in Logic Programs,\u201d inProceedings of the 1993 International Conference on Logic Programming, MIT Press, 1993."},{"key":"BF03037180_CR5","doi-asserted-by":"crossref","unstructured":"Clocksin, W. F. and Alshawi, H., \u201cA Method for Efficiently Executing Horn Clause Programs Using Multiple Processors,\u201d inNew Generation Computing, 5, pp. 361\u2013376, 1988.","DOI":"10.1007\/BF03037415"},{"key":"BF03037180_CR6","unstructured":"Chang, S-E. and Chiang, Y. P., \u201cRestricted And-Parallellism Model with Side Effects,\u201d inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, pp. 350\u2013368, 1989."},{"key":"BF03037180_CR7","unstructured":"Dutra, I., \u201cFlexible Scheduling in the Andorra-I System,\u201d inProceedings of the ICP\u201991 Workshop on Parallel Logic Programming, LNCS, 569, Springer Verlag, Dec. 1991."},{"key":"BF03037180_CR8","unstructured":"Gupta, G., \u201cPaged Binding Array: Environment Representation in And-Or Parallel Prolog,\u201dTechnical Report, TR-91-24, Department of Computer Science, University of Bristol, Oct. 1991."},{"key":"BF03037180_CR9","unstructured":"Gupta, G., \u201cAnd-Or Parallel Execution of Logic Programs on Shared Memory Multiprocessors,\u201dPh. D. thesis, U. of N. Carolina at Chapel Hill, Nov. 1991."},{"key":"BF03037180_CR10","unstructured":"Gupta, G. and Santos Costa, V., \u201cAnd-Or Parallel Execution of Full Prolog Based on Paged Binding Arrays,\u201d inProceedings of the 1992 Conference on Parallel Languages and Architectures Europe (PARLE\u201992), LNCS, 605, Springer Verlag, June 1992."},{"key":"BF03037180_CR11","unstructured":"Gupta, G. and Santos Costa, V., \u201cComplete and Efficient Methods for Supporting Cuts and Side-Effects in And-Or Parallel Prolog,\u201d inProceedings of the 1992 IEEE Symposium on Parallel and Distributed Systems, Arlington, TX, IEE, 1992."},{"key":"BF03037180_CR12","doi-asserted-by":"crossref","unstructured":"Gupta, G., Hermenegildo, M. and Santos Costa, V., \u201cThe ACE Model: And\/Or-Parallel Copying-Based Execution of Full Prolog,\u201dTechnical Report, NMSU-TR-92-CS-13, New Mexico State University, 1991.","DOI":"10.1007\/3-540-55038-0_11"},{"key":"BF03037180_CR13","unstructured":"Gupta, G. and Jayaraman, B., \u201cCompiled And-Or Parallel Execution of Logic Programs,\u201d inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, pp. 332\u2013349, 1989."},{"key":"BF03037180_CR14","unstructured":"Gupta, G. and Jayaraman, B., \u201cOn Criteria for Or-Parallel Execution Models of Logic Programs,\u201d inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 604\u2013623, 1990."},{"key":"BF03037180_CR15","unstructured":"Gupta, G. and Jayaraman, B., \u201cOptimizing And-Or Parallel Implementations,\u201d inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 737\u2013756, 1990."},{"key":"BF03037180_CR16","unstructured":"Gupta, G., Santos Costa, V., Yang, R. and Hermenegildo, M., \u201cIDIOM: A Model for Integrating Dependent and-, Independent and- and Or-parallelism,\u201d inProceedings of the 1992 International Logic Programming Symposium, MIT Press, 1992."},{"key":"BF03037180_CR17","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V., \u201cAn Abstract Machine for Restricted And Parallel Execution of Logic Programs\u201d, in1986 International Conference on Logic Programming, London,LNCS, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"BF03037180_CR18","unstructured":"Hermenegildo, M. V. and Greene, K. J., \u201c&-Prolog and Its Preformance: Exploiting Independent And-Parallelism,\u201d inProceedings of the 1990 International Conference on Logic Programming, MIT Press, pp. 253\u2013268, 1990"},{"key":"BF03037180_CR19","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V. and Nasr, R. I., \u201cEfficient Implementation of Backtracking in AND-Parallelism,\u201d in1986 International Conference on Logic Programming, London,LNCS, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_63"},{"key":"BF03037180_CR20","unstructured":"Hermenegilde, M. V. and Rossi, F., \u201cNon-Strict Independent And-Parallelism,\u201d inProceedings of the 1990 International Conference on Logic Programming, MIT Press, pp. 237\u2013252, 1990."},{"key":"BF03037180_CR21","volume-title":"Proceedings of the 1987 IEEE International Symposium on Logic Programming","author":"B. Hausman","year":"1987","unstructured":"Hausman, B. et al., \u201cOr-Parallel Prolog Made Efficient on Shared Memory Multiprocessors,\u201d inProceedings of the 1987 IEEE International Symposium on Logic Programming, San Francisco, CA, IEEE Press, 1987."},{"key":"BF03037180_CR22","unstructured":"Hausman, B., Ciepielewski, A. and Calderwood, A., \u201cCut and Side-Effects in Or-Parallel Prolog,\u201d inProceedings of the 1988 Conference on Fifth Generation Computing Systems, ICOT, Ohmsha\/Spring-Verlag, pp. 831\u2013840, 1988."},{"key":"BF03037180_CR23","unstructured":"Janson, S. and Haridi, S., \u201cProgramming Paradigms of the Andorra Kernel Language,\u201d inProceedings of the 1990 International Conference on Logic Programming, MIT Press, 1990."},{"key":"BF03037180_CR24","volume-title":"Proceedings of the 1988 International Conference on Logic Programming","author":"Y-J. Lin","year":"1988","unstructured":"Lin, Y-J. and Kumar, V., \u201cAND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results,\u201d inProceedings of the 1988 International Conference on Logic Programming, Seattle, WA, MIT Press, 1988."},{"key":"BF03037180_CR25","doi-asserted-by":"crossref","unstructured":"Lusk, E., Warren, D. H. D. and Haridi, S. et. al., \u201cThe Aurora Or-Prolog System,\u201d inNew Generation Computing, 7, 2\u20133, pp. 243\u2013273, 1990.","DOI":"10.1007\/BF03037208"},{"key":"BF03037180_CR26","unstructured":"Muthukumar, K. and Hermenegildo, M., \u201cComplete and Efficient Methods for Supporting Side-Effects in Independent\/Restricted And-Parallelism,\u201d inProceedings of the 1989 International Conference on Logic Programming, MIT Press, 1989."},{"key":"BF03037180_CR27","unstructured":"Muthukumar, K. and Hermenegildo, M. V., \u201cDetermination of Variable Dependence Information through Abstract Interpretation,\u201d inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, 1989."},{"key":"BF03037180_CR28","unstructured":"Muthukumar, K. and Hermenegildo, M. V., \u201cThe CDG, UDG, and MEL Methods for Automatic Compile-Time Parallelization of Logic Programs for Independent And-Parallelism,\u201d inProceedings of the 1990 International Conference on Logic Programming, MIT Press, 1990."},{"key":"BF03037180_CR29","unstructured":"Ratcliffe, M. and Syre, J-C., \u201cA Parallel Logic Programming Language for PEPSys,\u201d inProceedings of the 1987 International Joint Conference on Artificial Intelligence, Milan, pp. 48\u201355, 1987."},{"key":"BF03037180_CR30","unstructured":"Ramkumar, B. and Kal\u00e9, L. V., \u201cCompiled Execution of the REDUCE-OR Process Model,\u201d inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, pp. 313\u2013331, 1989."},{"key":"BF03037180_CR31","volume-title":"Proceedings of the 1992 IEEE Symposium on Parallel and Distributed Processing","author":"R. Sindaha","year":"1992","unstructured":"Sindaha, R., \u201cThe Dharma Scheduler\u2014Definitive Scheduling in Aurora on Multiprocessor Architecture,\u201d inProceedings of the 1992 IEEE Symposium on Parallel and Distributed Processing, Arlington, TX, IEEE Press, 1992."},{"key":"BF03037180_CR32","unstructured":"Szeredi, P., \u201cPerformance Analysis of the Aurora Or-Parallel Prolog System,\u201d inProceedings of the 1989 North American Conference on Logic Programming, MIT Press, pp. 713\u2013732, 1989."},{"key":"BF03037180_CR33","unstructured":"Shen, K. and Hermenegildo, M., \u201cA Simulation Study of Or- and Independent And-Parallelism,\u201d inProceedings of the 1991 International Logic Programming Symposium, MIT Press, 1991."},{"key":"BF03037180_CR34","unstructured":"Shen, K., \u201cStudies of And-Or Parallelism in Prolog,\u201dPh. D. thesis, Cambridge University, 1992."},{"key":"BF03037180_CR35","doi-asserted-by":"crossref","unstructured":"Santos Costa, V., Warren, D. H. D. and Yang, R., \u201cAndorra-I: A Parallel Prolog System That Transparently Exploits Both And- and Or-Parallelism,\u201d inProceedings of the 1991 Conference on Principles & Practice of Parallel Programming, ACM Press, pp. 83\u201393, 1991.","DOI":"10.1145\/109626.109635"},{"key":"BF03037180_CR36","doi-asserted-by":"crossref","unstructured":"V\u00e9ron, A. and Xu, J. et al., \u201cVirtual Memory Support for Parallel Logic Programming Systems,\u201d inProceedings of the 1991 Conference on Parallel Languages and Architectures Europe (PARLE\u201991), LNCS 506, Springer-Verlag, 1991.","DOI":"10.1007\/978-3-662-25209-3_51"},{"key":"BF03037180_CR37","unstructured":"Warren, D. S., \u201cEfficient Prolog Memory Management for Flexible Control Strategies,\u201d inProceedings of the 1984 IEEE International Symposium on Logic Programming, IEEE Press, pp. 198\u2013202, 1984."},{"key":"BF03037180_CR38","unstructured":"Warren, D. H. D., \u201cThe SRI-Model for Or-Parallel Execution of Prolog\u2014Abstract Design and Implemention Issues,\u201d inProceedings of the 1987 IEEE International Symposium on Logic Programming, IEEE Press, 1987."},{"key":"BF03037180_CR39","unstructured":"Warren D. H. D., \u201cExtended Andorra Moded with Implicit Control,\u201dtalk given at Workshop on Parallel Logic Programming, 1990 International Conference on Logic Programming, Eilat, Israel, 1990."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037180.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037180\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:31Z","timestamp":1558558351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":39,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF03037180"],"URL":"https:\/\/doi.org\/10.1007\/bf03037180","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}