{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:37Z","timestamp":1725663097448},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185352"},{"type":"electronic","value":"9783540480082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3540185356_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:37:10Z","timestamp":1330198630000},"page":"200-213","source":"Crossref","is-referenced-by-count":0,"title":["Perspectives of logic programming"],"prefix":"10.1007","author":[{"given":"P\u00e9ter","family":"Szeredi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"13_CR1","unstructured":"J.Bendl, P.Koves and P.Szeredi: The MPROLOG System; Proceedings of the Logic Programming Workshop, Debrecen, 1980, pp. 201\u2013209."},{"key":"13_CR2","unstructured":"W.F.Clocksin and C.S.Mellish: Programming in Prolog, Springer-Verlag, 1981."},{"key":"13_CR3","unstructured":"T.Gergely and M.Sz\u00f6ts: Some features of a new logic programming language; Proc. of Workshop and Conference on Applied AI and Knowledge Based Expert Systems, Ed. P.Revai Univ.of Stockholm, 1985."},{"key":"13_CR4","unstructured":"P.J.Hayes: Computation and Deduction; Proceedings of Symposium on Mathematical Foundation of Computer Science, High Tatras September 1973, pp.105\u2013117."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R.A. Kowalski","year":"1971","unstructured":"R.A. Kowalski and D. Kuehner: Linear resolution with selection function; Artificial Intelligence 2, 1971, pp. 227\u2013260.","journal-title":"Artificial Intelligence"},{"key":"13_CR6","first-page":"569","volume-title":"Predicate Logic as Programming Language","author":"R.A. Kowalski","year":"1974","unstructured":"R.A. Kowalski: Predicate Logic as Programming Language; Proc. IFIP'74, North Holland Publ. Co., Amsterdam, 1974, pp. 569\u2013574."},{"key":"13_CR7","first-page":"133","volume-title":"Logic Programming","author":"R.A. Kowalski","year":"1983","unstructured":"R.A. Kowalski: Logic Programming; Proc. IFIP'83 North Holland Publ. Co., Amsterdam, 1983, pp. 133\u2013145."},{"key":"13_CR8","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: Mathematical Theory of Computation; McGraw Hill, New-York, 1974."},{"key":"13_CR9","unstructured":"MPROLOG Documentation, Release 2.1; Logicware, Toronto; SzKI, Budapest, 1985."},{"key":"13_CR10","first-page":"293","volume-title":"On the compilation of a Domain Based Prolog","author":"J.F. Nilsson","year":"1983","unstructured":"J.F. Nilsson: On the compilation of a Domain Based Prolog; Proc. IFIP'83, North Holland Publ. Co., Amsterdam, 1983, pp. 293\u2013298."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J.A.Robinson: A machine-oriented Logic Based on the Resolution Principle; Journal of ACM 12, pp. 23\u201341.","DOI":"10.1145\/321250.321253"},{"key":"13_CR12","volume-title":"PROLOG: Manuel de Reference et d'Utilisation; Grouppe d'Intelligence Artificielle","author":"P. Roussel","year":"1975","unstructured":"Ph. Roussel: PROLOG: Manuel de Reference et d'Utilisation; Grouppe d'Intelligence Artificielle; Universit\u00e9 d'Aix-Marseille, Luminy, 1975."},{"key":"13_CR13","unstructured":"M.Sz\u00f6ts: Logical Foundations of Logic Programming; Thesis, Budapest, 1986."},{"key":"13_CR14","unstructured":"D.H.D.Warren: An Abstract Prolog Instruction Set; Technical Note 309, SRI International, Oct. 1983."}],"container-title":["Lecture Notes in Computer Science","Trends, Techniques, and Problems in Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540185356_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:07Z","timestamp":1605644107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540185356_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185352","9783540480082"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3540185356_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}