{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T03:27:30Z","timestamp":1767065250033,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"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_4","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"48-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Prolog: Past, Present, and\u00a0Future"],"prefix":"10.1007","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elmer","family":"Salazar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Shakerin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaqu\u00edn","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarat Chandra","family":"Varanasi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kinjal","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaduo","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serdar","family":"Erbatur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parth","family":"Padalkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhiramon","family":"Rajasekharan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yankai","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94463-0","volume-title":"Neural Networks and Deep Learning","author":"CC Aggarwal","year":"2018","unstructured":"Aggarwal, C.C.: Neural Networks and Deep Learning. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94463-0"},{"issue":"4","key":"4_CR2","first-page":"383","volume":"4","author":"JJ Alferes","year":"2004","unstructured":"Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. TPLP 4(4), 383\u2013428 (2004)","journal-title":"TPLP"},{"issue":"5","key":"4_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpe.4491","volume":"31","author":"M Areias","year":"2019","unstructured":"Areias, M., Rocha, R.: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in prolog. Concurr. Comput. Pract. Exp. 31(5), 1\u201316 (2019)","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"3\u20134","key":"4_CR4","first-page":"337","volume":"18","author":"J Arias","year":"2018","unstructured":"Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. TPLP 18(3\u20134), 337\u2013354 (2018)","journal-title":"TPLP"},{"issue":"1","key":"4_CR5","first-page":"51","volume":"22","author":"J Arias","year":"2022","unstructured":"Arias, J., Carro, M., Chen, Z., Gupta, G.: Modeling and reasoning in event calculus using goal-directed constraint answer set programming. TPLP 22(1), 51\u201380 (2022)","journal-title":"TPLP"},{"issue":"3","key":"4_CR6","first-page":"412","volume":"19","author":"J Arias","year":"2019","unstructured":"Arias, J., Carro, M.: Description, implementation, and evaluation of a generic design for tabled CLP. TPLP 19(3), 412\u2013448 (2019)","journal-title":"TPLP"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-030-39197-3_4","volume-title":"Practical Aspects of Declarative Languages","author":"K Basu","year":"2020","unstructured":"Basu, K., Shakerin, F., Gupta, G.: AQuA: ASP-Based Visual Question Answering. In: Komendantskaya, E., Liu, Y.A. (eds.) PADL 2020. LNCS, vol. 12007, pp. 57\u201372. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-39197-3_4"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Borji, A.: A categorical archive of chatgpt failures (2023). Preprint arXiv:2302.03494","DOI":"10.21203\/rs.3.rs-2895792\/v1"},{"issue":"12","key":"4_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"4_CR10","unstructured":"Brown, T., Mann, B., et al.: Language models are few-shot learners. In: Proceedings NeurIPS, vol. 33, pp. 1877\u20131901. Curran Associates Inc. (2020)"},{"key":"4_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"4_CR12","unstructured":"Carro, M., Hermenegildo, M.V.: Concurrency in prolog using threads and a shared database. In: De Schreye, D. (ed.), Proceedings ICLP, pp. 320\u2013334. MIT Press (1999)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Chen, T., Guestrin, C.: XGBoost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD, KDD 2016, pp. 785\u2013794 (2016)","DOI":"10.1145\/2939672.2939785"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"issue":"5\u20136","key":"4_CR15","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1017\/S1471068416000429","volume":"16","author":"Z Chen","year":"2016","unstructured":"Chen, Z., Marple, K., Salazar, E., Gupta, G., Tamil, L.: A physician advisory system for chronic heart failure management based on knowledge patterns. Theory Pract. Log. Program. 16(5\u20136), 604\u2013618 (2016)","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., Roussel, P.: The birth of prolog. In: History of Programm Languages Conference (HOPL-II), pp. 37\u201352. ACM (1993)","DOI":"10.1145\/155360.155362"},{"issue":"4\u20136","key":"4_CR17","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S1471068410000190","volume":"10","author":"VS Costa","year":"2010","unstructured":"Costa, V.S., de Castro Dutra, I., Rocha, R.: Threads and or-parallelism unified. Theory Pract. Log. Program. 10(4\u20136), 417\u2013432 (2010)","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Dietz Saldanha, E.A., H\u00f6lldobler, S., Pereira, L.M.: Our themes on abduction in human reasoning: a synopsis. In: Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice, pp. 279\u2013293 (2021)","DOI":"10.1007\/978-3-030-61773-8_14"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Flach, P.A., Kakas, A.C.: Abductive and Inductive Reasoning: Background. In: Flach, P.A., Kakas, A.C. (eds.) Abduction and Inductionand Issues, pp. 1\u201327. Springer, Cham (2000). https:\/\/doi.org\/10.1007\/978-94-017-0606-3_1","DOI":"10.1007\/978-94-017-0606-3_1"},{"issue":"1\u20133","key":"4_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"TW Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.W.: Theory and practice of constraint handling rules. J. Log. Program. 37(1\u20133), 95\u2013138 (1998)","journal-title":"J. Log. Program."},{"key":"4_CR21","unstructured":"d\u2019Avila Garcez, A., Lamb, L.C.: Neurosymbolic AI: The 3rd Wave (2020). arXiv: 2012.05876 [cs.AI]"},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., et al.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011). https:\/\/doi.org\/10.3233\/AIC-2011-0491","journal-title":"AI Commun."},{"key":"4_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: An Answer Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: An Answer Set Programming Approach. Cambridge Univ. Press, Cambridge (2014)"},{"key":"4_CR24","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"issue":"3","key":"4_CR25","first-page":"33","volume":"31","author":"D Gunning","year":"2010","unstructured":"Gunning, D., Chaudhri, V.K., Clark, P., Grosof, B., et al.: Project halo update - progress toward digital aristotle. AI Mag. 31(3), 33\u201358 (2010)","journal-title":"AI Mag."},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Gupta, G., et al.: Logic-based explainable and incremental machine learning. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: The Next 50 Years. LNCS (LNAI), vol. 13900, pp. 346\u2013358. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_28","DOI":"10.1007\/978-3-031-35254-6_28"},{"key":"4_CR27","unstructured":"Gupta, G.: Next generation of logic programming systems. Technical report, 2003. Dept. of Comp. Sci., UT Dallas (2003)"},{"key":"4_CR28","unstructured":"Gupta, G., et al.: Automated commonsense reasoning. In: Proceedings of the GDE 2022 (2022). https:\/\/utdallas.edu\/~gupta\/csr-scasp.pdf"},{"issue":"4","key":"4_CR29","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1017\/S1471068422000187","volume":"22","author":"M Hanus","year":"2022","unstructured":"Hanus, M.: From logic to functional logic programs. Theory Pract. Log. Program. 22(4), 538\u2013554 (2022)","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P., Carro, M.: Types, modes and so much more - the prolog way. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: The Next 50 Years. LNCS (LNAI), vol. 13900, pp. 23\u201337. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_2","DOI":"10.1007\/978-3-031-35254-6_2"},{"issue":"1\u20132","key":"4_CR31","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., et al.: An overview of ciao and its design philosophy. Theory Pract. Log. Program. 12(1\u20132), 219\u2013252 (2012)","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR32","series-title":"Texts in Theoretical Computer Science An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/b138233","volume-title":"Universal Artificial Intellegence","author":"M Hutter","year":"2005","unstructured":"Hutter, M.: Universal Artificial Intellegence. TTCSAES, Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b138233"},{"key":"4_CR33","unstructured":"Kahneman, D.: Thinking. Fast and Slow. Farrar, Straus and Giroux (2011)"},{"key":"4_CR34","unstructured":"K\u00f6rner, P., et al.: Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, pp. 1\u201383 (2022)"},{"key":"4_CR35","unstructured":"Kothawade, S., Khandelwal, V., Basu, K., Wang, H., Gupta, G.: AUTO-DISCERN: autonomous driving using common sense reasoning. In: Proceedings of the ICLP Workshops: GDE 2021, vol. 2970, CEUR Workshop Proceedings. CEUR-WS.org (2021)"},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Kowalski, R., Davila, J., Sartor, G., Calejo, M.: Logical English for law and education. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: The Next 50 Years. LNCS (LNAI), vol. 13900, pp. 287\u2013299. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_24","DOI":"10.1007\/978-3-031-35254-6_24"},{"key":"4_CR37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511984747","volume-title":"Computational Logic and Human Thinking","author":"RA Kowalski","year":"2011","unstructured":"Kowalski, R.A.: Computational Logic and Human Thinking. Cambridge University Press, Cambridge (2011)"},{"key":"4_CR38","unstructured":"Kowalski, R.A.: Logic for Problem Solving. North Holland (1979)"},{"key":"4_CR39","doi-asserted-by":"publisher","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-642-83189-8","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR40","unstructured":"Marple, K., et al.: Computing stable models of normal logic programs without grounding. Preprint arXiv:1709.00501 (2017)"},{"key":"4_CR41","unstructured":"Morris, J.: Blawx: user-friendly goal-directed answer set programming for rules as code. In: Proceedings of the Programming Language and the Law (ProLaLa) (2023)"},{"key":"4_CR42","volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","author":"ET Mueller","year":"2014","unstructured":"Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach. Morgan Kaufmann, San Francisco (2014)"},{"key":"4_CR43","unstructured":"Rajasekharan, A., Zeng, Y., Padalkar, P., Gupta, G.: Reliable natural language understanding with large language models and answer set programming (2023). Preprint arXiv:2302.03780; in Proc. ICLP\u201923 (Tech. Comm.) (2023, to appear)"},{"issue":"1\u20132","key":"4_CR44","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S1471068404002030","volume":"5","author":"R Rocha","year":"2005","unstructured":"Rocha, R., Silva, F.M.A., Costa, V.S.: On applying or-parallelism and tabling to logic programs. Theory Pract. Log. Program. 5(1\u20132), 161\u2013205 (2005)","journal-title":"Theory Pract. Log. Program."},{"key":"4_CR45","unstructured":"Salazar, E.: Proof-theoretic Foundations of Normal Logic Programs. Ph.D. thesis, Department of Computer Science, Univ. of Texas at Dallas (2019)"},{"key":"4_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-540-73420-8_42","volume-title":"Automata, Languages and Programming","author":"L Simon","year":"2007","unstructured":"Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-logic programming: extending logic programming with coinduction. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 472\u2013483. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73420-8_42"},{"key":"4_CR47","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Boston (2008)"},{"key":"4_CR48","volume-title":"The Art of Prolog","author":"L Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MITPress, Cambridge (1994)"},{"key":"4_CR49","doi-asserted-by":"publisher","unstructured":"Wang, H., Gupta, G.: FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data. In: Hanus, M., Igarashi, A. (eds.) Functional and Logic Programming. FLOPS 2022. LNCS, vol. 13215, pp. 224\u2013242. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99461-7_13","DOI":"10.1007\/978-3-030-99461-7_13"},{"issue":"5","key":"4_CR50","first-page":"658","volume":"22","author":"H Wang","year":"2022","unstructured":"Wang, H., Shakerin, F., Gupta, G.: FOLD-RM: efficient scalable explainable AI. TPLP 22(5), 658\u2013677 (2022)","journal-title":"TPLP"},{"key":"4_CR51","doi-asserted-by":"publisher","unstructured":"Warren, D.S.: Introduction to Prolog. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog: The Next 50 Years. LNCS (LNAI), vol. 13900, pp. 3\u201319. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_1","DOI":"10.1007\/978-3-031-35254-6_1"},{"issue":"1\u20132","key":"4_CR52","first-page":"67","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. Theory Pract. Log. Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Program."},{"key":"4_CR53","unstructured":"Wikipedia. Neurosymbolic AI. https:\/\/en.wikipedia.org\/wiki\/Neuro-symbolic_AI#. Accessed Feb 2022"},{"key":"4_CR54","unstructured":"Wikipedia contributors. Artificial general intelligence - Wikipedia, the free encyclopedia, 2023. https:\/\/en.wikipedia.org\/w\/index.php?title=Artificial_general_intelligence &oldid=1148436187. Accessed 8 Apr 2023"},{"key":"4_CR55","doi-asserted-by":"crossref","unstructured":"Zeng, Y., Rajasekharan, A., et al.: Automated interactive domain-specific conversational agents that understand human dialogs. Preprint arXiv:2302.08941 (2023)","DOI":"10.1007\/978-3-031-52038-9_13"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T12:15:34Z","timestamp":1729599334000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_4","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"}}]}}