{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:25Z","timestamp":1725663685942},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_50","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:52:01Z","timestamp":1330203121000},"page":"335-345","source":"Crossref","is-referenced-by-count":9,"title":["A compiling approach for exploiting and-parallelism in parallel logic programming systems"],"prefix":"10.1007","author":[{"given":"Zhiyi","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shouren","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","unstructured":"Conery, J. S. The AND\/OR model for parallel interpretation of logic programs Ph.D. Th. Dept. of Infor. and Computer Sci. UC, Irvine, 1983."},{"key":"22_CR2","unstructured":"DeGroot, D. Restricted And-Parallelism Proc. of the Inter. Conf. on Fifth Generation Computer System (Nov. 1984) pp. 471\u2013478."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"DeGroot, D. A Technique for Compiling Execution Graph Expressions for Restricted And-Parallelism in Logic Programs Proc. of the 1987 Inter. Supercomputing Conf. (June 1987).","DOI":"10.1007\/3-540-18991-2_63"},{"key":"22_CR4","first-page":"218","volume":"85","author":"J.-H. Chang","year":"1985","unstructured":"Chang, J.-H., Despain, A. M. and DeGroot, D. And-parallelism of Logic Programs based on a static data dependency analysis COMPCON 85, pp. 218\u2013225, Feb., 1985.","journal-title":"COMPCON"},{"key":"22_CR5","unstructured":"Tung, Yu-Wen and Moldovan, Dan I. Detection of And-Parallelism in Logic Programming Proc. of the 1986 Int. Conf. on Parallel Processing, IEEE, 1986, pp. 984\u2013991."},{"key":"22_CR6","unstructured":"Clark, K. L. and Gregory, S. PARLOG: parallel programming in logic Research report DOC 84\/4, Imperial College, London, England."},{"key":"22_CR7","unstructured":"Shapiro, E. Y. A Subset of Concurrent Prolog and its Interpreter ICOT. Technical Report: TR-003 (Feb., 1983)."},{"key":"22_CR8","unstructured":"Pollard, G. H. Parallel Execution of Horn Clause Programs Ph.D. Th., Univ. of London, Imperial College of Sci. & Tech., U.K., 1987."},{"key":"22_CR9","unstructured":"Kowalski, R. Predicate Logic as Programming Language Proc. of IFIP Congress, North Holland Publishing Company, Amsterdam, pp. 569\u2013574, 1974."},{"key":"22_CR10","unstructured":"Warren, D. H. D. An Abstract Prolog Instruction Set Technical Note 309, SRI International, AI center, Computer Science and Technology Division, 1983."},{"key":"22_CR11","unstructured":"Melish, C. S. The Automatic Generation of Mode Declarations for Prolog Programs DAI Research paper 163, Dept. of Artificial Intelligence, Univ. of Edinburgh (August 1981)."},{"key":"22_CR12","unstructured":"DeGroot, D. Restricted And-Parallelism and Side-effects in Logic Programming in Supercomputers and AI Machines, Kai Hwang and Doug DeGroot Editors, McGraw-Hill, 1988."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M. V. An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs Proc. of the 3rd Inter. Conf. on Logic Programming (July, 1986)","DOI":"10.1007\/3-540-16492-8_62"},{"key":"22_CR14","unstructured":"Warren, D. H. D. The SRI Model for Or-parallel Execution of Prolog\u2014Abstract Design and Implementation Issues Proc. of the 1987 Inte. Symposium on Logic Programming, San Francisco, California, IEEE, pp.92\u2013102, 1987."},{"key":"22_CR15","unstructured":"Hausman, B., Ciepielewski, A. and Haridi, S. Or-parallel Prolog made efficient on shared memory multiprocessors Proc. of the 1987 Inte. Symposium on Logic Programming, San Francisco, California, IEEE, pp.69\u201379, 1987."},{"key":"22_CR16","unstructured":"Gao, Yaoqin and Hu, Shouren Design of a Parallel Abstract Machine based on the RAP-PSOF Parallel Model of Logic Programs to appear in Proc. of International Conference on Computer and Communication, Beijing, 1989."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Sun, Chengzheng and Ci, Yungui The OR-forest Description for the Execution of Logic Programs Lecture Notes in Computer Science, the Proc. of the Third International Conference on Logic Programming (July, 1986), pp.710\u2013717.","DOI":"10.1007\/3-540-16492-8_120"},{"key":"22_CR18","unstructured":"Sun, Chengzheng and Ci, Yungui PSOF: A Process Model Based on the OR-forest Description Proc. of the International Conference on Computer and Communication, 1986, Beijing."},{"key":"22_CR19","unstructured":"Sun, Chengzheng and Ci, Yungui SES-PIM: A Simulation and Experiment System for PIM-PSOF the Second National Conference on Logic Programming, 1986, China."},{"key":"22_CR20","unstructured":"Sun, Chengzheng and Ci, Yungui An Automatic Partition Algorithm for And-parallel Execution in the Framework of OR-forest Proc. of the Second International Conference on Computers and Applications, 1987, Beijing."},{"key":"22_CR21","unstructured":"Hwang, Zhiyi and Hu, Shouren A Compiling Approach for Exploiting And-Parallelism in Logic programming Proc. of the 1988 Annual Conference of National Artificial Intelligence Federation, 1988, China."},{"key":"22_CR22","unstructured":"Hwang, Zhiyi and Hu, Shouren Analysis of RAP the Third National Conference on Logic Programming, 1987, China."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:44Z","timestamp":1605648044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}