{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:33Z","timestamp":1725663693367},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535041"},{"type":"electronic","value":"9783540466772"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53504-7_98","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:08:25Z","timestamp":1330207705000},"page":"405-414","source":"Crossref","is-referenced-by-count":1,"title":["Parallelism via speculation in pure Prolog"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Yu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"43_CR1","unstructured":"Biswas, P. and Su, S.C. and Yun, D.Y.Y.; A Scalable Abstract Machine Model to Support Limited-OR (LOR)\/Restricted-AND Parallelism (RAP) in Logic Programs; Proceeding of the 5th International Conference on Logic Programming; 1988."},{"key":"43_CR2","unstructured":"Ciepielewski, A. and Haridi, S.; A Formal Model For Or-Parallel Execution of Logic Programs; IFIP 83."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K.L. and Gregory, S.; PARLOG: Parallel programming in logic; ACM Trans. Prog. Lang. Syst. 8,1; Jan 1986.","DOI":"10.1145\/5001.5390"},{"key":"43_CR4","unstructured":"Clocksin, W.F. and Alshawi, H.; A Method for Efficiently Executing Horn Clause Programs Using Multiple Processors; Technical Report, Computer Laboratory; University of Cambridge; 1986."},{"key":"43_CR5","volume-title":"The AND\/OR Process Model for Parallel Interpretation of Logic Programs","author":"J Conery","year":"1983","unstructured":"Conery, J; The AND\/OR Process Model for Parallel Interpretation of Logic Programs; PhD thesis; University of California, Irvine; 1983. Revised version appears in: Parallel Execution Of Logic Programs; Kluwer Academic Publishers; Boston; 1987"},{"key":"43_CR6","unstructured":"Conery, J.; Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors; Proceeding of 1987 Symposium on Logic Programming; San Francisco, California; 1987."},{"key":"43_CR7","unstructured":"Degroot, D.; Restricted And-Parallelism; Proceeding of the International Conference on Fifth Generation Computer Systems; 1984."},{"key":"43_CR8","unstructured":"Dietrich, Suzanne Wagner; Extension Tables: Memo Relations in Logic Programming; IEEE Symposium on Logic Programming, 1987."},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Halstead, R.; Parallel Symbolic Computing; IEEE Computer 19:8; August 1986.","DOI":"10.1109\/MC.1986.1663306"},{"key":"43_CR10","unstructured":"Hausman, B. and Ciepielewski, A. and Haridi, S.; OR-parallel Prolog Made Efficient on Shared Memory Multiprocessors; Proceeding of 1987 Symposium on Logic Programming; San Francisco, California; 1987."},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. and Nasr, R; Efficient Management of Backtracking in AND-Parallelism; Proceedings of the Third International Conference on Logic Programming; London, England; 1986.","DOI":"10.1007\/3-540-16492-8_63"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Janakiram, V., Agrawal, D., and Mehrotra, R.; A Randomized Parallel Backtracking Algorithm; IEEE Transaction on Computers; Vol 37, No 12; December 1988.","DOI":"10.1109\/12.9745"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Jefferson D. Virtual Time; TOPLAS; July 1985.","DOI":"10.1145\/3916.3988"},{"key":"43_CR14","unstructured":"Kal\u00e9, L.V.; \u2018Completeness\u2019 and \u2018Full Parallelism\u2019 of Parallel Logic Programming Schemes; Proceeding of 1987 Symposium on Logic Programming; San Francisco, California; 1987."},{"key":"43_CR15","unstructured":"Kal\u00e9, L.; The Reduce-Or Process Model for Parallel Evaluation of Logic Programs; Proceeding of the 4th International Conference on Logic Programming; 1987."},{"key":"43_CR16","volume-title":"Logic For Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, Robert; Logic For Problem Solving; North-Holland, New York; 1979."},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"Kranz, David and Halstead, Robert and Mohr, Eric; Mul-T: A High Performance Parallel Lisp; SigPlan 1989 Conference on Programming Language Design and Implementation.","DOI":"10.1145\/73141.74825"},{"key":"43_CR18","doi-asserted-by":"crossref","unstructured":"Li, P and Martin, A; The Sync Model: A Parallel Execution Method for Logic Programming; Proceedings of the 1986 Symposium of Logic Programming; Salt Lake City; Utah 1986.","DOI":"10.21236\/ADA442971"},{"key":"43_CR19","unstructured":"Lin, Zheng; Expected Performance of the Randomized Parallel Backtracking Method; North American Conference on Logic Programming; 1989."},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"Osborne, Randy; Speculative Computation in Multilisp; Proceedings of U.S.\/Japan Workshop on Parallel Lisp; Sendai, Japan; June 5\u20138 1989.","DOI":"10.1007\/BFb0024152"},{"key":"43_CR21","unstructured":"Ramkumar, Balkrishna and Kal\u00e9, Laxmikant; Compiled Execution of the Reduce-Or Process Model on Multiprocessors; North American Conference on Logic Programming; Cleveland, Ohio; 1989."},{"key":"43_CR22","series-title":"Technical Report","volume-title":"A Subset of Concurrent PROLOG and its Interpreter","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.; A Subset of Concurrent PROLOG and its Interpreter; Technical Report TR-003, ICOT; Tokyo; 1983."},{"key":"43_CR23","unstructured":"Shapiro, Ehud; An Or-Parallel Execution Algorithm for Prolog and its FCP Implementation; Proceeding of the 1987 International Conference on Logic Programming; Melbourne, Australia; 1987."},{"key":"43_CR24","unstructured":"Tamaki, H. and Sato, T.; Unfold\/fold Transformation of Logic Programs; Proceedings of 2nd International Conference on Logic Programming; Uppsala; 1984."},{"key":"43_CR25","unstructured":"Warren, D.H.D.; An Abstract Prolog Instruction Set; Technical Note 309; SRI International, AI Center, Computer Science and Technology Division; 1983."},{"key":"43_CR26","doi-asserted-by":"crossref","unstructured":"Warren, D.H.D.; Or-Parallel Execution Models of Prolog; Proceedings of the International Joint Conference on Theory and Practise of Software Development (TAP-SOFT); Pisa, Italy; March 1987. (Also in LNCS 250).","DOI":"10.1007\/BFb0014984"},{"key":"43_CR27","unstructured":"Warren, D.H.D.; The SRI Model for Or-Parallel Execution of Prolog \u2014 Abstract Design and Implementation; Proceeding of 1987 Symposium on Logic Programming; San Francisco, California; 1987."},{"key":"43_CR28","unstructured":"Warren, D.S.; The XWAM: A Machine that Integrates Prolog and Deductive Database Query Evaluation; Tech. Report 89\/25; SUNY Stony Brook; 1989."},{"key":"43_CR29","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF03037061","volume":"2","author":"H. Yasuhara","year":"1984","unstructured":"Yasuhara, H. and Nitadori, K.; ORBIT: A Parallel Computing Model of Prolog; New Generation Computing; 2:277\u2013288; 1984.","journal-title":"New Generation Computing"},{"key":"43_CR30","unstructured":"Yu, B; Side Effects and Other Implementation Issues in Speculative Optimistic Parallelism in Prolog; in preparation; 1989."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing and Information \u2014 ICCI '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53504-7_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:05Z","timestamp":1619572445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53504-7_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535041","9783540466772"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-53504-7_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}