{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T19:24:40Z","timestamp":1763580280512},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_13","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"347-376","source":"Crossref","is-referenced-by-count":10,"title":["The Application of Prolog to the Development of QA and DBM Systems"],"prefix":"10.1007","author":[{"given":"I.","family":"Fut\u00f3","sequence":"first","affiliation":[]},{"given":"F.","family":"Darvas","sequence":"additional","affiliation":[]},{"given":"P.","family":"Szeredi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","first-page":"1973","volume-title":"Interpreteur dur language de programation PROLOG","author":"G Battani","year":"1973","unstructured":"Battani, G. and Meloni, H. [1973] Interpreteur dur language de programation PROLOG, Groupe de l\u2019Intelligence Artificielle, U.E.R. de Luminy, Marseille, 1973."},{"key":"13_CR2","volume-title":"An Interface between PROLOG and CYBER-EDMS","author":"M Bruynooghe","year":"1977","unstructured":"Bruynooghe, M. [1977] An Interface between PROLOG and CYBER-EDMS, Proceedings of Workshop on Logic and Data Bases, Toulouse, 1977, VII\/1-VII\/7."},{"issue":"6","key":"13_CR3","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E. F. [1970] A Relational Model of Data for Large Shared Data Banks, CACM 13,6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"13_CR4","volume-title":"Logic and Semantic Networks","author":"A Deliyanni","year":"1977","unstructured":"Deliyanni, A. and Kowalski, R. [1977] Logic and Semantic Networks, Proceedings of Workshop on Logic and Data Bases, Toulouse, 1977, XII\/1-XII\/7."},{"key":"13_CR5","volume-title":"Some Applications of Theorem-Proving Based Machine Intelligence in QSAR","author":"F Darvas","year":"1976","unstructured":"Darvas, F. and Fut\u00f3, I. and Szeredi, P. [1976] Some Applications of Theorem-Proving Based Machine Intelligence in QSAR, Proceedings of the International Symphosium on QSAR Suhl, GDR, in press."},{"key":"13_CR6","first-page":"385","volume-title":"Practical Application of an AI Language, II","author":"I Fut\u00f3","year":"1977","unstructured":"Fut\u00f3, I., Darvas, F. and Cholnoky, E. [1977] Practical Application of an AI Language, II, Proceedings of the Hungarian Conference on Computing, Budapest, 1977, 385\u2013400."},{"key":"13_CR7","series-title":"DCL Memo","first-page":"1974","volume-title":"Predicate Logic as a Programming Language","author":"R Kowalski","year":"1974","unstructured":"Kowalski, R. [1974] Predicate Logic as a Programming Language, DCL Memo No. 70, Edinburgh University, Edingurgh, 1974."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4684-3384-5_5","volume-title":"Logic and Data Bases","author":"J Minker","year":"1978","unstructured":"Minker, J. [1978] An Experimental Data Base System Based on Logic, in Logic and Data Bases (H. Gallaire and J. Minker, Eds,), Plenum Press, New York, 1978, 107\u2013147."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1147\/sj.163.0287","volume":"16","author":"N Raver","year":"1977","unstructured":"Raver, N. and Hubbard, G. U. [1977] Automated Logical Data Base Design: Concepts and Applications, IBM Systems Journal 16, 3 (1977), 287\u2013312.","journal-title":"IBM Systems Journal"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A. [1965] Machine Oriented Logic Based on Resolution Principle, JACM 12, (1965), 23\u201344.","journal-title":"JACM"},{"key":"13_CR11","first-page":"1974","volume-title":"What is PROLOG","author":"D Warren","year":"1974","unstructured":"Warren, D. [1974] \u201cWhat is PROLOG\u201d, Manuscript, University of Edinburgh, Edinburgh, 1974."},{"key":"13_CR12","volume-title":"How Should Clauses in a Logic Data Base be Indexed","author":"D Warren","year":"1977","unstructured":"Warren, D. [1977] How Should Clauses in a Logic Data Base be Indexed, Proceedings of the Workshop on Logic and Data Bases, Toulouse, 1977, XX\/1."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:13Z","timestamp":1619873413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_13","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}