{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:10Z","timestamp":1747546930789},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:49:20Z","timestamp":1330177760000},"page":"40-54","source":"Crossref","is-referenced-by-count":31,"title":["Efficient management of backtracking in AND-Parallelism"],"prefix":"10.1007","author":[{"given":"M. V.","family":"Hermenegildo","sequence":"first","affiliation":[]},{"given":"R. I.","family":"Nasr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"J.-H. Chang, A. M. Despain, and D. DeGroot. AND-parallelism of Logic Programs Based on Static Data Dependency Analysis. In Digest of Papers of COMPCON Spring '85, pages 218\u2013225. 1985."},{"key":"3_CR2","unstructured":"K. Clark and S. Gregory. PARLOG: A Parallel Logic Programming Language. Research Report DOC 83\/5, Dept. of Computing, Imperial College of Science and Technology, May, 1983. University of London."},{"key":"3_CR3","unstructured":"Clark, K.L. and G. McCabe. The Control Facilities of IC-Prolog. Expert Systems in the Micro Electronic Age. Edinburgh University Press, 1979."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"J.S. Conery and D.F. Kibler. Parallel Interpretation of Logic Programs. In Proc. of the ACM Conference on Functional Programming Languages and Computer Architecture., pages 163\u2013170. October, 1981.","DOI":"10.1145\/800223.806775"},{"key":"3_CR5","unstructured":"J.S. Conery. The AND\/OR Process Model for Parallel Interpretation of Logic Programs. PhD thesis, The University of California at Irvine, 1983. Technical Report 204."},{"key":"3_CR6","unstructured":"Doug DeGroot. Restricted And-Parallelism. Int'l Conf. on Fifth Generation Computer Systems, November, 1984."},{"key":"3_CR7","unstructured":"Manuel V. Hermenegildo. A Restricted AND-parallel Execution Model and Abstract Machine for Prolog Programs. Technical Report PP-104-85, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, 1985."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Manuel V. Hermenegildo. An Abstract Machine for Restricted AND-parallel Execution of Logic Programs. In Proceedings of the 3rd. Int'l. Conf. on Logic Programming. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"3_CR9","unstructured":"Kowalski, R.A. Predicate Logic as a Programming Language. Proc. IFIPS 74, 1974."},{"key":"3_CR10","unstructured":"Luis M. Pereira and Roger I. Nasr. Delta-Prolog: A Distributed Logic Programming Language. In Proceedings of the Intl. Conf. on 5th. Gen. Computer Systems. 1984. Japan."},{"key":"3_CR11","unstructured":"E. Y. Shapiro. A subset of Concurrent Prolog and its interpreter. Technical Report TR-003, ICOT, January, 1983. Tokyo."},{"key":"3_CR12","unstructured":"David H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, AI Center, Computer Science and Technology Division, 1983."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:40Z","timestamp":1605625840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}