{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:08:14Z","timestamp":1757542094240},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:56:11Z","timestamp":1330181771000},"page":"284-297","source":"Crossref","is-referenced-by-count":1,"title":["Compilation of logic programs for restricted and-parallelism"],"prefix":"10.1007","author":[{"given":"Dean","family":"Jacobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anno","family":"Langen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","unstructured":"Carlton,M. and Van Roy,P., A distributed Prolog system with and-parallelism, Dept. of EECS, Univ. of Cal. at Berkeley, Submitted to 1988 Hawaii International Conference on System Sciences, (1988)."},{"key":"19_CR2","unstructured":"Chang, J.-H., High Performance Execution of Prolog Programs Based on a Static Data Dependency Analysis, Ph.D. thesis in Dept. of EECS, Univ. of Cal. at Berkeley, Report No. UCB\/CSD 86\/263, (1985)."},{"key":"19_CR3","unstructured":"Chang, J.-H., Despain, A., and DeGroot, D., AND-parallelism of logic programs based on a static dependency analysis, Proc. Spring Compcon, IEEE, (1985), 218\u2013225."},{"issue":"1","key":"19_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L. Clark","year":"1986","unstructured":"Clark, K.L., and Gregory, S., PARLOG: Parallel programming in logic, ACM TOPLAS 8,1 (1986), 1\u201349.","journal-title":"ACM TOPLAS"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Conery, J., and Kibler, D., Parallel interpretation of logic programs, Proc. Conf. on Func. Prog. Lang. and Comp. Arch., ACM (1981), 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Conery, J., Parallel Execution of Logic Programs, Kluwer Academic Publishers, (1987).","DOI":"10.1007\/978-1-4613-1987-0"},{"key":"19_CR7","unstructured":"DeGroot, D., Restricted and-parallelism, Proc. Int. Conf. Fifth Gen. Comp. Sys., ICOT, (1984), 471\u2013478."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"DeGroot, D., A technique for compiling execution graph expressions for restricted and-parallelism in logic programs, Proc. Int. Supercomputing Conf. Athens, Greece (1987).","DOI":"10.1007\/3-540-18991-2_63"},{"key":"19_CR9","unstructured":"DeGroot, D., Restricted and-parallelism and side-effects, Proc. Symp. Log. Prog., IEEE, San Francisco, (1987)."},{"key":"19_CR10","unstructured":"Hermenegildo, M., A Restricted And-Parallel Execution Model and Abstract Machine for Prolog Programs, Kluwer Academic Press, (1987)."},{"issue":"8","key":"19_CR11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.1986.1663307","volume":"19","author":"E. Shapiro","year":"1986","unstructured":"Shapiro, E., Concurrent Prolog: a progress report, IEEE Computer 19, 8 (1986), 44\u201358.","journal-title":"IEEE Computer"},{"key":"19_CR12","unstructured":"Warren, D.H.D., An abstract Prolog instruction set, Tech. Note 309, SRI International, Oct. (1983)."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Wise, M.J., A parallel Prolog: the construction of a data driven model, Proc. Conf. LISP and Func. Prog., ACM, (1982).","DOI":"10.1145\/800068.802135"},{"key":"19_CR14","unstructured":"Wise, M.J., Prolog Multiprocessors, Prentice-Hall International, (1986)."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:11Z","timestamp":1605626171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}