{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:14Z","timestamp":1725663194530},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100096"},{"type":"electronic","value":"9783540381402"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10009-1_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:03:18Z","timestamp":1330171398000},"page":"306-317","source":"Crossref","is-referenced-by-count":9,"title":["Selective backtracking for logic programs"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Porto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"24_CR1","unstructured":"Bruynooghe, M. Intelligent backtracking for Horn clause logic programs Colloquium on Mathematical Logic in Programming Salgotarjan, Hungary 1978"},{"key":"24_CR2","volume-title":"How to solve it with Prolog","author":"H. Coelho","year":"1979","unstructured":"Coelho, H.; Cotta, J.C.; Pereira, L.M. How to solve it with Prolog Laborat\u00f3rio Nacional de Engenharia Civil, Lisboa 1979"},{"key":"24_CR3","unstructured":"Kowalski, R.A. Predicate logic as a programming language IFIP 74, pp 569\u2013574, North-Holland Publ. Co. 1974"},{"key":"24_CR4","unstructured":"Kowalski, R.A. Logic for problem solving North-Holland Publ. Co. 1980"},{"key":"24_CR5","unstructured":"Loveland, D. Automated theorem proving: a logical basis North-Holland Publ. Co. 1978"},{"key":"24_CR6","volume-title":"User's guide to DECsystem-10 Prolog","author":"L. M. Pereira","year":"1978","unstructured":"Pereira, L.M.; Pereira, F.C.N.; Warren, D.H.D. User's guide to DECsystem-10 Prolog Laborat\u00f3rio Nacional de Engenharia Civil, Lisboa 1978"},{"key":"24_CR7","volume-title":"Backtracking intelligently in AND\/OR trees","author":"L. M. Pereira","year":"1979","unstructured":"Pereira, L.M. Backtracking intelligently in AND\/OR trees Departamento de Inform\u00e1tica Universidade Nova de Lisboa, Lisboa 1979"},{"key":"24_CR8","volume-title":"Intelligent backtracking and sidetracking in Horn clause programs \u2014 the theory","author":"L. M. Pereira","year":"1979","unstructured":"Pereira, L.M.; Porto, A. Intelligent backtracking and sidetracking in Horn clause programs \u2014 the theory Departamento de Inform\u00e1tica Universidade Nova de Lisboa, Lisboa 1979"},{"key":"24_CR9","volume-title":"An interpreter of logic programs using selective backtracking","author":"L. M. Pereira","year":"1980","unstructured":"Pereira, L.M.; Porto, A. An interpreter of logic programs using selective backtracking Paper submitted to the Workshop on Logic Programming, organized by the von Neumann Computer Society, Budapest July 1980"},{"key":"24_CR10","unstructured":"Roussel, P. Prolog: manuel de r\u00e9f\u00e8rence et d'utilisation Groupe d'Intelligence Artificielle, Universit\u00e9 d'Aix-Marseille II 1975"},{"key":"24_CR11","unstructured":"Warren, D.H.D. Implementing Prolog, Parts I and II Department of Artificial Intelligence Edinburgh University 1977"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Warren, D.H.D.; Pereira, L.M.; Pereira, F.C.N. Prolog, the language and its implementation compared with Lisp ACM Symposium on Artificial Intelligence and Programming Languages, Sigart Newsletter no. 64, and Sigplan Notices vol. 12, no. 8, August 1977","DOI":"10.1145\/800228.806939"}],"container-title":["Lecture Notes in Computer Science","5th Conference on Automated Deduction Les Arcs, France, July 8\u201311, 1980"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10009-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:33Z","timestamp":1605625353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10009-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100096","9783540381402"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-10009-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}