{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:16Z","timestamp":1725663436389},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530657"},{"type":"electronic","value":"9783540465973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53065-7_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:52:40Z","timestamp":1330206760000},"page":"143-153","source":"Crossref","is-referenced-by-count":2,"title":["Study of a parallel inference machine for parallel execution of logic programs"],"prefix":"10.1007","author":[{"given":"Gao","family":"Yaoqing","sequence":"first","affiliation":[]},{"given":"Sun","family":"Chengzheng","sequence":"additional","affiliation":[]},{"given":"Hu","family":"Shouren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Sun Chengzheng and Tzu Yungui, The OR-forest Description for the Execution of Logic Programs. Lec. Notes in Computer Sci., the Proc. of the 3rd Int,1 Conference on Logic Programming, July, 1986.","DOI":"10.1007\/3-540-16492-8_120"},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, Germany, 1984."},{"key":"13_CR3","unstructured":"D. DeGroot, Restricted AND-Parallelism. Proc. of the Int'l. Conf. on Fifth Generation Computer System, Nov. 1984."},{"key":"13_CR4","unstructured":"A. Ciepeielewski, and S. Haridi, Control of Activities in an OR-Parallel Token Machine, Proc. of Logic Programming Workshop 83, July, 1983."},{"key":"13_CR5","unstructured":"M. V. Hermengildo, An Abstract Prolog 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."},{"key":"13_CR6","unstructured":"Conery. J. S., The AND\/OR model for parallel interpretation of Logic Programs. Ph.D thesis, Dept. of Infor. and Computer Sci., UC Irvine, 1983."},{"key":"13_CR7","unstructured":"D. H. Warren, An Abstract Prolog Instruction Set. Technical Note 309, SRI International, AI Center, Computer Science and Technology Division, 1983."},{"key":"13_CR8","unstructured":"Gao Yaoqing and Hu Shouren, Design of a Parallel Abstract Machine Based on the RAP-PSOF Parallel Model of Logic Programs. Proc. of Int'l Conf. on Computer and Communication, Beijing, 1989."},{"key":"13_CR9","unstructured":"Gao Yaoqing, A RAP\/LOP-WAM Parallel Abstract Instruction Set. Tech. Report. Changsha Institute of Technology. 1988."},{"key":"13_CR10","unstructured":"Gao Yaoqing, Hu Shouren, A Memory Management Scheme for Supporting Parallel Execution of Logic Program. Journal of Macro and Small Computer System. Vol. 8, China."},{"key":"13_CR11","unstructured":"Gao Yaoqing, Hu Shouren, RAP\/LOP:A Restricted AND-and Limited OR-Parallel Execution Model. Journal of Computer Engineering and Application, Vol. 9, China, 1989."},{"key":"13_CR12","unstructured":"B. Hausman, A. Ciepielewski, and S. Haridi, OR-parallel Prolog made efficient on shared memory multiprocessors. In The 1987 Int'l Symp. on Logic Programming, San Francisco, California, IEEE 1987."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Zhiyi Hwang and Shouren Hu, A Compiling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems, Proc. of Parallel Architecture and Language, Europe, 1989.","DOI":"10.1007\/3-540-51285-3_50"},{"key":"13_CR14","unstructured":"David H. D. Warren, The SRI Model for OR-Parallel Execution of Prolog\u2014Abstract Design and Implementation Issues. In The 1987 Int'l Sym. on LP, San Francisco, CA, IEEE, 1987."},{"key":"13_CR15","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":"13_CR16","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":"13_CR17","unstructured":"Mellish, 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":"13_CR18","doi-asserted-by":"crossref","unstructured":"Mellish, C. S., Some Global Optimization for a Prolog Compiler, J. Logic Programming, 1985.","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"13_CR19","unstructured":"Bruynooghe, M., Abstract Interpretation: Towards the Global Optimization of Prolog Programs, Proc. of the 1987 Symp. on Logic programming. San Francisco, Aug. 1987, IEEE Computer Soc., 1987."},{"key":"13_CR20","unstructured":"Debray, S. and Warren, D, S., Mode Inference, Proc. of the 1986 Symp. on Logic Programming, Salt Lake City, IEEE Computer Soc. Press, 1986."},{"key":"13_CR21","unstructured":"P. Borgwart, Parallel Prolog Using Stack Segments on Shared-Memory Multiprocessor. Proc. of 1984 Int'l. Symp. on Logic Programming, Atlantic City."},{"key":"13_CR22","unstructured":"K. Shen, An Investigation of the Argonne Model of OR-parallel Prolog. Master's thesis, Univ. of Manchester, 1986."},{"key":"13_CR23","unstructured":"Sun, Chengzheng and Ci, Yungui, PSOF: A Process Model Based on the OR-forest Description, Proc. of the Int'l Conference on Computer and Communication, 1986, Beijing."}],"container-title":["Lecture Notes in Computer Science","CONPAR 90 \u2014 VAPP IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53065-7_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:22Z","timestamp":1605648382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53065-7_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530657","9783540465973"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-53065-7_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}