{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:46Z","timestamp":1725662986123},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164708"},{"type":"electronic","value":"9783540398097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16470-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:44:16Z","timestamp":1330195456000},"page":"130-143","source":"Crossref","is-referenced-by-count":0,"title":["Incorporating Na\u00efve Negation into Prolog"],"prefix":"10.1007","author":[{"given":"K\u014d","family":"Sakai","sequence":"first","affiliation":[]},{"given":"Taizo","family":"Miyachi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"7_CR1","unstructured":"Battani G. and Meloni, H.: \u201cInterpreteur du langage de programmation PROLOG,\u201d Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universite d'Aix-Marseille, 1973."},{"key":"7_CR2","unstructured":"Bowen, K.A. and Kowalski, R.A.: \u201cAmalgamating language and metalanguage in logic programming,\u201dLogic Programming (K.L. Clark and S-A. T\u00e4rnlund eds.), Academic Press, pp. 153\u2013172, 1981."},{"key":"7_CR3","unstructured":"Chang, C.L. and Lee, R.C.T.: \u201cSymbolic logic and mechanical theorem proving,\u201d Academic Press, 1973."},{"key":"7_CR4","unstructured":"Kowalski, R.: \u201cPredicate logic as a programming language,\u201d IFIP 74, North-Holland, pp. 569\u2013574, 1974."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Miyachi, T. et al.: \u201cA knowledge assimilation method for logic databases,\u201d 1984 International Symposium on Logic Programming, pp. 118\u2013125, 1984.","DOI":"10.1007\/BF03037329"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J.A.: \u201cA machine oriented logic based on the resolution principle,\u201d J.ACM 12, No. 1, pp. 23\u201341, 1965.","journal-title":"J.ACM"},{"key":"7_CR7","unstructured":"Warren, D.H.D.: \u201cImplementing PROLOG \u2014 compiling predicate logic programs,\u201d Research Report 39 and 40, Dept. of Artificial Intelligence, University of Edinburgh, 1977."}],"container-title":["Lecture Notes in Computer Science","RIMS Symposia on Software Science and Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16470-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:53Z","timestamp":1619557433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16470-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164708","9783540398097"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-16470-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}