{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:04:55Z","timestamp":1725487495460},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665489"},{"type":"electronic","value":"9783540481591"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48159-1_13","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:27:36Z","timestamp":1184603256000},"page":"178-192","source":"Crossref","is-referenced-by-count":7,"title":["YapOr: An Or-Parallel Prolog System Based on Environment Copying"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Rocha","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"issue":"6","key":"13_CR1","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF01397627","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. International Journal of Parallel Programming, 19(6):445\u2013475, Dec. 1990.","journal-title":"International Journal of Parallel Programming"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"K. A. M. Ali and R. Karlsson. The Muse Approach to OR-Parallel Prolog. International Journal of Parallel Programming, 19(2):129\u2013162, Apr. 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"K. A. M. Ali and R. Karlsson. Scheduling Speculative Work in Muse and Performance Results. International Journal of Parallel Programming, 21(6), Dec. 1992.","DOI":"10.1007\/BF01379406"},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55038-0","volume-title":"PARLE\u201991","author":"A. Beaumont","year":"1991","unstructured":"A. Beaumont, S. M. Raman, and P. Szeredi. Scheduling Or-Parallelism in Aurora with the Bristol Scheduler. In PARLE\u201991, LNCS. Springer-Verlag, Apr. 1991."},{"key":"13_CR5","unstructured":"A. Calderwood and P. Szeredi. Scheduling Or-parallelism in Aurora \u2014 the Manchester Scheduler. In ICLP\u201989, pages 419\u2013435, Lisbon, June 1989. The MIT Press."},{"key":"13_CR6","unstructured":"M. Correia, F. Silva, and V. S. Costa. The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. In ILPS\u201997, Port Jefferson, Oct. 1997. The MIT Press."},{"key":"13_CR7","unstructured":"L. Damas, V. S. Costa, R. Reis, and R. Azevedo. YAP User\u2019s Guide and Reference Manual. Centro de Inform tica da Universidade do Porto, 1989."},{"key":"13_CR8","unstructured":"G. Gupta, K. A. M. Ali, M. Carlsson, and M. Hermenegildo. Parallel Execution of Prolog Programs: A Survey. Mar. 1996. Preliminary Version."},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1145\/155183.155220","volume":"15","author":"G. Gupta","year":"1993","unstructured":"G. Gupta and B. Jayaraman. Analysis of Or-parallel Execution Models. ACM Transactions on Programming Languages, 15(4):659\u2013680, Sep. 1993.","journal-title":"ACM Transactions on Programming Languages"},{"key":"13_CR10","volume-title":"A High Performance OR-parallel Prolog System","author":"R. Karlsson","year":"1992","unstructured":"Roland Karlsson. A High Performance OR-parallel Prolog System. PhD thesis, The Royal Institute of Technology, Stockholm, Mar. 1992."},{"key":"13_CR11","first-page":"819","volume-title":"FGCS\u201988","author":"E. Lusk","year":"1988","unstructured":"E. Lusk and et. all. The Aurora Or-parallel Prolog System. In FGCS\u201988, pages 819\u2013830. ICOT, Tokyo, Nov. 1988."},{"key":"13_CR12","unstructured":"R. Rocha, F. Silva, and V. S. Costa. On Applying Or-Parallelism to Tabled Evaluations. In TLP\u201997, Leuven, Belgium, July 1997."},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-49201-1_10","volume-title":"PADL\u201999","author":"R. Rocha","year":"1998","unstructured":"R. Rocha, F. Silva, and V. S. Costa. Or-Parallelism within Tabling. In PADL\u201999, number 1551 in LNCS, pages 137\u2013151. Springer-Verlag, 1998."},{"key":"13_CR14","unstructured":"Fernando M. A. Silva. An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. PhD thesis, Dept. of Computer Science, Univ. of Manchester, Sep. 1993."},{"key":"13_CR15","unstructured":"R. Sindaha. The Dharma Scheduler \u2014 Definitive Scheduling in Aurora on Multiprocessor Architecture. Tech. Report, Dept. of Computer Science, Univ. of Bristol, Nov. 1991."},{"key":"13_CR16","unstructured":"David H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Sep. 1983."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48159-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T01:19:45Z","timestamp":1550452785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48159-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665489","9783540481591"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48159-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}