{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:55Z","timestamp":1725456355031},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013541","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:44:01Z","timestamp":1132710241000},"page":"318-335","source":"Crossref","is-referenced-by-count":0,"title":["Parallelizing Prolog on shared-memory multiprocessors"],"prefix":"10.1007","author":[{"given":"Gao","family":"Yaoqing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Dingxing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiu","family":"Xiaolin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hwang","family":"Zhiyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu","family":"Shouren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Baron, U., de Kergommeaux, J.C., Hailperin, M., Ratcliffe, M., Robert, P., Syre, J.C. and Westphal, H., \u201cThe Parallel ECRC PROLOG System PEPSys: an Overview and Evaluation Results,\u201d in Proc. of Int'l Conf. on FGCS 1988."},{"key":"25_CR2","unstructured":"J.-H. Chang, A. M. Despain and D. DeGroot, \u201cAnd-parallelism of logic programs based on a static data dependency analysis,\u201d COMPCON 85, San Francisco, Feb., 1985."},{"key":"25_CR3","unstructured":"A.Ciepielewski, and S.Haridi, \u201cControl of Activities in an OR-Parallel Token machine,\u201d Proc. of logic programming workshop 83, July, 1983."},{"key":"25_CR4","volume-title":"Ph.D thesis","author":"J.S. Conery","year":"1983","unstructured":"Conery. J.S., \u201cThe AND\/OR model for parallel interpretation of Logic Programs,\u201d Ph.D thesis, Dept. of Infor. and Comp. Sci., UC Irvine, 1983."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"S.K. Debray and D.S. Warren, \u201cAutomatic Mode Inference for Prolog Programs,\u201d Journal of Logic Programming, 207\u2013229, Sept. 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"S.K. Debray, Nai-Wei Lin and M.Hermenegildo, \u201cTask Granularity Analysis in Logic Programs,\u201d Proc. of the ACM SIGPLAN'90 Conf. on Programming Language Design and Implementation. White Plains, New York, Jun.,1990.","DOI":"10.1145\/93542.93564"},{"key":"25_CR7","unstructured":"D. DeGroot, \u201cRestricted And-parallelism,\u201d Proc. of the Int'l Conf. on FGCS, Tokyo, Nov. 1984."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"D. DeGroot, \u201cA technique for compiling execution graph expressions for restricted And-parallelism in logic programs,\u201d Proc. of the 1987 Int'l Supercomputing Conf., Athens, Greece, (June 1987).","DOI":"10.1007\/3-540-18991-2_63"},{"key":"25_CR9","unstructured":"Gao Yaoqing, \u201cA RAP\/LOP-WAM Parallel Abstract Instruction Set,\u201d Tech. Report. Changsha Institute of Technology. 1988."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Gao Yaoqing, Sun Chengzheng and Hu Shouren, \u201cStudy of a Parallel Inference Machine for Parallel Execution of Logic Programs,\u201d Int'l Joint Conf. on Vector and Parallel Processing, Zurich, Switzerland, Nov. 1990.","DOI":"10.1007\/3-540-53065-7_95"},{"key":"25_CR11","unstructured":"Gao Yaoqing, Hu Shouren and Sun Chengzheng, \u201cDesign and Implementation of a Parallel Abstract Machine Model RAP\/LOP-WAM for Parallel Execution of Logic Programs,\u201d Proceedings of an International Conference on Information Processing, Tokyo, Japan, Oct. 1990."},{"key":"25_CR12","unstructured":"Gopal Gupta, \u201cCompiled And-Or Parallelism on Shared Memory Multiprocessor,\u201d Logic Programming: Proc. of the North American Conf., 1988."},{"key":"25_CR13","unstructured":"Gregory S., \u201cParallel Programming in PARLOG, the Language and its Implementation.\u201d Addision Wesley, 1987."},{"key":"25_CR14","volume-title":"The 1987 Int'l Symp. on Logic Programming","author":"B. Hausman","year":"1987","unstructured":"B.Hausman, A.Ciepielewski, and S.Haridi, \u201cOR-parallel Prolog made efficient on shared memory multiprocessors,\u201d In The 1987 Int'l Symp. on Logic Programming, San Francisco, California, IEEE 1987."},{"key":"25_CR15","volume-title":"Ph.D thesis","author":"M.V. Hermengildo","year":"1986","unstructured":"M.V.Hermengildo, \u201cAn Abstract Prolog Machine based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel,\u201d Ph.D thesis, The University of Texas at Austin, 1986."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Zhiyi Hwang and Shouren Hu, \u201cA Compiling Approach for Exploiting And-parallelism in Parallel logic Programming Systems,\u201d Proc. of the Int'l Conf. on Parallel Architecture and Language, Europe, the Netherlands, 1989.","DOI":"10.1007\/3-540-51285-3_50"},{"key":"25_CR17","volume-title":"Proc. Fourth IEEE Symp. on Logic Programming","author":"L.V. Kale","year":"1987","unstructured":"L.V.Kale, \u201cCompleteness and Full Parallelism of Parallel Logic Programming Schemes.\u201d Proc. Fourth IEEE Symp. on Logic Programming, San Francisco, CA,IEEE,1987."},{"key":"25_CR18","unstructured":"Lusk, E., Warren, D.H.D, Haridi, S., Butler,R., Calderwood, A., Disz, T., Olson, R., Overbeek, R., Stevens, R., Szerdi, P., Brand, P., Carlsson, M., Cipelewski, A. and Hausman, B., \u201cThe Aurora OR-Parallel PROLOG System,\u201d in Proc. of Int'l Conf. on FGCS 1988."},{"key":"25_CR19","unstructured":"Pattie Maes, \u201cIssues in Computational Reflection,\u201d Meta-Level Architectures and Reflection, P.Maes, D.Nardi (Editors), Elsevier Science Publishers B.V., 1988."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"C.S. Mellish, \u201cAbstract Interpretation of Prolog Programs,\u201d In 3rd International Conf. on Logic Programming,\u201d Imperial College, Springer-Verlag, July 1986.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"25_CR21","volume-title":"TR ACA-ST-023-90","author":"K. Muthukumar","year":"1990","unstructured":"K. Muthukumar and M. Hermenegildo, \u201cThe CDG, UDG and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism,\u201d TR ACA-ST-023-90, MCC, Austin, TX 78759, 1990."},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Sun Chengzheng and Tzu Yungui, \u201cThe OR-forest Description for the Execution of Programs.,\u201d Lec. Notes in Computer Sci., the Proc. of the 3rd Int'l Conf. on Logic Programming. July, 1986.","DOI":"10.1007\/3-540-16492-8_120"},{"key":"25_CR23","unstructured":"Sun Chengzheng and Ci Yungui, \u201cPSOF: A Process Model Based on the OR-forest Description,\u201d Proc. of the int'l Conf. on Computer and Communication, 1986, Beijing."},{"key":"25_CR24","unstructured":"E.Tick, \u201cCompile-Time Granularity Analysis for Parallel Logic Programming Languages,\u201d Int'l Conf. on FGCS, Tokey, Japan, 1988."},{"key":"25_CR25","unstructured":"D.H.Warren, \u201cAn Abstract Prolog Instruction Set,\u201d Tech. Note 309, SRI International, AI Center, Computer Sci. and Technology Division, 1983."},{"key":"25_CR26","volume-title":"The 1987 Int'l Symp. on Logic Programming","author":"D. H. D. Warren","year":"1987","unstructured":"David H. D. Warren, \u201cThe SRI Model for OR-Parallel Execution of Prolog-Abstract Design and Implementation Issues,\u201d In The 1987 Int'l Symp. on Logic Programming, California, IEEE, 1987."},{"key":"25_CR27","first-page":"984","volume-title":"Proc. of the 1986 Int'l Conf. on Parallel Processing","author":"Y. Tung","year":"1986","unstructured":"Yu-Wen Tung and Dan I. Moldovan, \u201cDetection of And-parallelism in logic programming,\u201d Proc. of the 1986 Int'l Conf. on Parallel Processing, IEEE, Pennsylvania, 1986, pp. 984\u2013991."},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Ueda K., \u201cGuarded Horn Clauses,\u201d Ph.D. Thesis, Information Engineering Course, Faculty of Engineering, University of Tokey, 1986.","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:29:10Z","timestamp":1586564950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0013541","relation":{},"subject":[]}}