{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:34:34Z","timestamp":1725737674815},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189039"},{"type":"electronic","value":"9783642734052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-73405-2_2","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:43:51Z","timestamp":1372189431000},"page":"36-57","source":"Crossref","is-referenced-by-count":0,"title":["PROLOG: PROgrammieren mit LOGik Eine Einf\u00fchrung"],"prefix":"10.1007","author":[{"given":"Helmar","family":"Gust","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"K\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1981","unstructured":"W. F. Clocksin, C. S. Mellish: \u201cProgramming in Prolog\u201d Springer-Verlag, 1981"},{"key":"2_CR2","volume-title":"How to Solve it with Prolog","author":"H Coelho","year":"1980","unstructured":"H. Coelho, J.C. Cotta, L.M. Pereira: \u201cHOW TO SOLVE IT WITH PROLOG\u201d Laboratorio Nacional de Engenharia Civil, Lisaboa, 1980"},{"key":"2_CR3","volume-title":"Interner Bericht","author":"A Colmerauer","year":"1970","unstructured":"A. Colmerauer: \u201cLes systemes-Q ou une formalisme pour analyser et synthetise des phrases sur ordinateur\u201d, Interner Bericht no. 43, Department d\u2019Informatique, Universite de Montreal, Canada 1970"},{"key":"2_CR4","volume-title":"Natural Language Communication with Computers","author":"A Colemrauer","year":"1978","unstructured":"A. Colemrauer: \u201cMetamorphosis Grammers\u201d in: L. Bolc (Ed.): \u201cNatural Language Communication with Computers\u201d, Springer-Verlag 1978"},{"key":"2_CR5","volume-title":"\u201cPROLOG II Referenz Manual and Theoretical Model\u201d Group de IA","author":"A Colemrauer","year":"1982","unstructured":"A. Colemrauer: \u201cPROLOG II Referenz Manual and Theoretical Model\u201d Group de IA, UER de Luminy, Univ. d\u2019Aix-Marseille 1982"},{"key":"2_CR6","volume-title":"Arbeitspapiere der GMD Nr","author":"TF Gordon","year":"1985","unstructured":"Thomas F. Gordon: \u201cObjekt-Oriented Pradicate Logic and its Role in Representing Legal Knowlegde\u201d Arbeitspapiere der GMD Nr. 135, Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin 1985"},{"key":"2_CR7","volume-title":"Micro-PROLOG Programmer\u2019s Reference Manual","author":"FG McCabe","year":"1981","unstructured":"F. G. McCabe: \u201cMicro-PROLOG Programmer\u2019s Reference Manual\u201d Logic Programming Associates Ltd, London, 1981"},{"key":"2_CR8","volume-title":"Logic for Problem Solving","author":"R Kowalski","year":"1979","unstructured":"R. Kowalski: \u201cLogic for Problem Solving\u201d North-Holland, 1979"},{"key":"2_CR9","volume-title":"Technical Report 84\/4, Department of Computer Science","author":"L Naish","year":"1984","unstructured":"Lee Naish: \u201cALL SOLUTIONS PREDICATES IN PROLOG\u201d Technical Report 84\/4, Department of Computer Science, The University of Melbourne, 1984"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"F.C.N. Perreira, D.H.D. Warren: \u201cDefinite Clause Grammers for Language Analysis A Survey of the Formalism and a Comparison with Augmented Transition Networks\u201d, Artificial Intelligence 13, 1980","DOI":"10.1016\/0004-3702(80)90003-X"},{"key":"2_CR11","unstructured":"F.C.N. Pereira: \u201cExtraposition Grammers\u201d American Journal of Computational Linguistics, Volume 7 Number 4, 1981"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J.A. Robinson: \u201cA Machine Oriented Logic Based on the Resolution Principle\u201d. Journal of the ACM 12, 1965","DOI":"10.1145\/321250.321253"},{"key":"2_CR13","volume-title":"DAI Research Paper no. 127","author":"DHD Warren","year":"1979","unstructured":"D.H.D. Warren: \u201cProlog on the DEC-system-l0\u201d DAI Research Paper no. 127 University of Edinburgh, 1979"}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73405-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T15:47:52Z","timestamp":1557848872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73405-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189039","9783642734052"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73405-2_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}