{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:04Z","timestamp":1749124084930},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_62","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:48:17Z","timestamp":1330195697000},"page":"25-39","source":"Crossref","is-referenced-by-count":49,"title":["An abstract machine for restricted AND-parallel execution of logic programs"],"prefix":"10.1007","author":[{"given":"M. V.","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_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":"2_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":"2_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":"2_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":"2_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":"2_CR6","unstructured":"Doug DeGroot. Restricted And-Parallelism. Int'l Conf. on Fifth Generation Computer Systems, November, 1984."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"T. P. Dobry, A. M. Despain, and Y. N. Patt. Performance Studies of a Prolog Machine Architecture. In Proceedings of the 12 Int'l. Symp. on Computer Architecture, pages 180\u2013191. IEEE Computer Society Press, 1985.","DOI":"10.1145\/327070.327161"},{"key":"2_CR8","unstructured":"John Gabriel, Tim Lindholm, E. L. Lusk, and R. A. Overbeek. A Tutorial on the Warren Abstract Machine. Technical Report, Argonne National Laboratory, Argonne, Ill. 60439, 1985."},{"key":"2_CR9","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":"2_CR10","doi-asserted-by":"crossref","unstructured":"Manuel V. Hermenegildo and Roger I. Nasr. Efficient Implementation of Backtracking in AND-parallelism. In Proceedings of the 3rd. Int'l. Conf. on Logic Programming. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_63"},{"key":"2_CR11","unstructured":"Kowalski, R.A. Predicate Logic as a Programming Language. Proc. IFIPS 74, 1974."},{"key":"2_CR12","unstructured":"R. A. Overbeek, J. Gabriel, T. Lindholm, and E. L. Lusk. Prolog on Multiprocessors. Technical Report, Argonne National Laboratory, Argonne, Ill. 60439, 1985."},{"key":"2_CR13","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":"2_CR14","unstructured":"Pereira, L.M., F. C. N. Pereira, and D. H. D. Warren. User's Guide to DECsystem-10 Prolog Dept. of Artificial Intelligence, Univ. of Edinburgh, 1978."},{"key":"2_CR15","unstructured":"E. Y. Shapiro. A subset of Concurrent Prolog and its interpreter. Technical Report TR-003, ICOT, January, 1983. Tokyo."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"E. Tick and D.H.D. Warren. Towards a Pipelined Prolog Processor. In 1984 International Symposium on Logic Programming, Atlantic City, pages 29\u201342. IEEE Computer Society Press, Silver Spring, MD, February, 1984.","DOI":"10.1007\/BF03037325"},{"key":"2_CR17","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_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:40Z","timestamp":1605643840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}