{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:08:05Z","timestamp":1743084485493,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031352539"},{"type":"electronic","value":"9783031352546"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_3","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"38-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Prolog as\u00a0a\u00a0Knowledge Representation Language the\u00a0Nature and\u00a0Importance of\u00a0Prolog"],"prefix":"10.1007","author":[{"given":"Michael","family":"Genesereth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Carlson, P., Genesereth, M.: Insurance portfolio management as containment testing. In: ICAIL (2023)","DOI":"10.3233\/FAIA230957"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational databases. In: Proceeding of the 9th Annual ACM Symposium on the Theory of Computing, pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W Chen","year":"1995","unstructured":"Chen, W., Swift, T., Warren, D.: Efficient top-down computation of queries under the well-founded semantics. J. Logic Program. 24(3), 161\u2013201 (1995)","journal-title":"J. Logic Program."},{"key":"3_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97596-7","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1994","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 4th edn. Springer, New York (1994). https:\/\/doi.org\/10.1007\/978-3-642-97596-7","edition":"4"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system. Declarative Logic Program. 279\u2013323 (2018)","DOI":"10.1145\/3191315.3191321"},{"issue":"1\u20132","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00206-0","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation. Artif. Intell. 138(1\u20132), 1 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.): RuleML 2015. LNCS, vol. 9202. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21542-6","DOI":"10.1007\/978-3-319-21542-6"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Genesereth, M., Chaudhri, V.: Logic programming. Synth. Lect. Artif. Intell. Mach. Learn. (2020). https:\/\/doi.org\/10.2200\/S00966ED1V01Y201911AIM044","DOI":"10.2200\/S00966ED1V01Y201911AIM044"},{"key":"3_CR9","unstructured":"Genesereth, M.: Insurance portfolio management. Complaw Corner, Codex: The Stanford Center for Legal Informatics (2022). https:\/\/law.stanford.edu\/2022\/07\/30\/insurance-portfolio-management\/"},{"key":"3_CR10","unstructured":"Hayes, P.: Computation and deduction. In: Proceedings Second Symposium on Mathematical Foundations of Computer Science, Czechoslovakian Academy of Sciences, Czechoslovakia, pp. 105\u2013118 (1973)"},{"key":"3_CR11","unstructured":"Hinrichs, T.: Extensional reasoning. Ph.D. thesis, Computer Science Department, Stanford University (2007)"},{"key":"3_CR12","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"AC Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R Kowalski","year":"1971","unstructured":"Kowalski, R., Kuehner, D.: Linear resolution with selection function. Artif. Intell. 2, 227\u201360 (1971)","journal-title":"Artif. Intell."},{"key":"3_CR14","unstructured":"Kowalski, R.: Predicate logic as a programming language. In: Proceedings of IFIP 1974, North Holland Publishing Company, Amsterdam, pp. 569\u2013574 (1974)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Algorithm = Logic + Control. Commun. ACM 22(7) (1979)","DOI":"10.1145\/359131.359136"},{"key":"3_CR16","unstructured":"Kowalski, R., Sadri, F.: LPS - a logic-based production system framework (2009)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents (2009)","DOI":"10.1007\/978-3-642-05082-4_1"},{"key":"3_CR18","unstructured":"Logical English as a Programming Language for the Law. ProLALA 22 (2022)"},{"key":"3_CR19","unstructured":"Lifschitz, V.: What is answer set programming? (PDF). In: Proceedings of the 23rd National Conference on Artificial Intelligence, vol. 3, pp. 1594\u20131597. AAAI Press, 13 July 2008"},{"key":"3_CR20","unstructured":"McCarthy, J.: Programs with common sense. In: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pp. 75\u201391. Her Majesty\u2019s Stationary Office, London (1959)"},{"key":"3_CR21","unstructured":"McCarthy, J.: Coloring maps and the kowalski doctrine. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy, pp. 167\u2013174 (1998)"},{"key":"3_CR22","unstructured":"Pereira, L.M., Porto, A.: Selective Backtracking for Logic Programs. Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Lisboa, Portugal (1980)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T.: Warren, D.S.: XSB as an efficient deductive database engine. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data (1994)","DOI":"10.1145\/191839.191927"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Ullman, J.D.: Information integration using logical views. Theor. Comput. Sci. 239(2), 189\u2013210 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(99)00219-4","DOI":"10.1016\/S0304-3975(99)00219-4"},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M van Emden","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. J. Assoc. Comput. Mach. 23(4), 733\u2013774 (1976)","journal-title":"J. Assoc. Comput. Mach."},{"key":"3_CR26","unstructured":"Warren, D.S.: Programming in Tabled Prolog. https:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.49.4635"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T06:44:45Z","timestamp":1702622685000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}