Skip to main content
SpringerLink
Log in

Prolog: Past, Present, and Future

  • Chapter
  • First Online:
Prolog: The Next 50 Years

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13900))

Abstract

We argue that various extensions proposed for Prolog—tabling, constraints, parallelism, coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how goal-directed predicate answer set programming can be incorporated in Prolog, and how it facilitates development of advanced applications in AI and automated commonsense reasoning.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Aggarwal, C.C.: Neural Networks and Deep Learning. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94463-0

    Book  MATH  Google Scholar 

  2. 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–428 (2004)

    MathSciNet  MATH  Google Scholar 

  3. Areias, M., Rocha, R.: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in prolog. Concurr. Comput. Pract. Exp. 31(5), 1–16 (2019)

    Article  Google Scholar 

  4. Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. TPLP 18(3–4), 337–354 (2018)

    MathSciNet  MATH  Google Scholar 

  5. 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–80 (2022)

    MathSciNet  MATH  Google Scholar 

  6. Arias, J., Carro, M.: Description, implementation, and evaluation of a generic design for tabled CLP. TPLP 19(3), 412–448 (2019)

    MathSciNet  MATH  Google Scholar 

  7. 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–72. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-39197-3_4

    Chapter  Google Scholar 

  8. Borji, A.: A categorical archive of chatgpt failures (2023). Preprint arXiv:2302.03494

  9. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

    Article  Google Scholar 

  10. Brown, T., Mann, B., et al.: Language models are few-shot learners. In: Proceedings NeurIPS, vol. 33, pp. 1877–1901. Curran Associates Inc. (2020)

    Google Scholar 

  11. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  12. Carro, M., Hermenegildo, M.V.: Concurrency in prolog using threads and a shared database. In: De Schreye, D. (ed.), Proceedings ICLP, pp. 320–334. MIT Press (1999)

    Google Scholar 

  13. Chen, T., Guestrin, C.: XGBoost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD, KDD 2016, pp. 785–794 (2016)

    Google Scholar 

  14. Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187–230 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  15. 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–6), 604–618 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  16. Colmerauer, A., Roussel, P.: The birth of prolog. In: History of Programm Languages Conference (HOPL-II), pp. 37–52. ACM (1993)

    Google Scholar 

  17. Costa, V.S., de Castro Dutra, I., Rocha, R.: Threads and or-parallelism unified. Theory Pract. Log. Program. 10(4–6), 417–432 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  18. Dietz Saldanha, E.A., Hölldobler, 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–293 (2021)

    Google Scholar 

  19. 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–27. Springer, Cham (2000). https://doi.org/10.1007/978-94-017-0606-3_1

  20. Frühwirth, T.W.: Theory and practice of constraint handling rules. J. Log. Program. 37(1–3), 95–138 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  21. d’Avila Garcez, A., Lamb, L.C.: Neurosymbolic AI: The 3rd Wave (2020). arXiv: 2012.05876 [cs.AI]

  22. Gebser, M., et al.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011). https://doi.org/10.3233/AIC-2011-0491

    Article  MathSciNet  MATH  Google Scholar 

  23. Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: An Answer Set Programming Approach. Cambridge Univ. Press, Cambridge (2014)

    Book  Google Scholar 

  24. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, vol. 88, pp. 1070–1080 (1988)

    Google Scholar 

  25. Gunning, D., Chaudhri, V.K., Clark, P., Grosof, B., et al.: Project halo update - progress toward digital aristotle. AI Mag. 31(3), 33–58 (2010)

    Google Scholar 

  26. 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–358. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-35254-6_28

  27. Gupta, G.: Next generation of logic programming systems. Technical report, 2003. Dept. of Comp. Sci., UT Dallas (2003)

    Google Scholar 

  28. Gupta, G., et al.: Automated commonsense reasoning. In: Proceedings of the GDE 2022 (2022). https://utdallas.edu/~gupta/csr-scasp.pdf

  29. Hanus, M.: From logic to functional logic programs. Theory Pract. Log. Program. 22(4), 538–554 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  30. 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–37. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-35254-6_2

  31. Hermenegildo, M.V., et al.: An overview of ciao and its design philosophy. Theory Pract. Log. Program. 12(1–2), 219–252 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  32. Hutter, M.: Universal Artificial Intellegence. TTCSAES, Springer, Heidelberg (2005). https://doi.org/10.1007/b138233

    Book  Google Scholar 

  33. Kahneman, D.: Thinking. Fast and Slow. Farrar, Straus and Giroux (2011)

    Google Scholar 

  34. Körner, P., et al.: Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, pp. 1–83 (2022)

    Google Scholar 

  35. 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)

    Google Scholar 

  36. 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–299. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-35254-6_24

  37. Kowalski, R.A.: Computational Logic and Human Thinking. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  38. Kowalski, R.A.: Logic for Problem Solving. North Holland (1979)

    Google Scholar 

  39. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-642-83189-8

  40. Marple, K., et al.: Computing stable models of normal logic programs without grounding. Preprint arXiv:1709.00501 (2017)

  41. 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)

    Google Scholar 

  42. Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach. Morgan Kaufmann, San Francisco (2014)

    Google Scholar 

  43. 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’23 (Tech. Comm.) (2023, to appear)

  44. Rocha, R., Silva, F.M.A., Costa, V.S.: On applying or-parallelism and tabling to logic programs. Theory Pract. Log. Program. 5(1–2), 161–205 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  45. Salazar, E.: Proof-theoretic Foundations of Normal Logic Programs. Ph.D. thesis, Department of Computer Science, Univ. of Texas at Dallas (2019)

    Google Scholar 

  46. Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-logic programming: extending logic programming with coinduction. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 472–483. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73420-8_42

    Chapter  MATH  Google Scholar 

  47. Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Boston (2008)

    Book  Google Scholar 

  48. Sterling, L., Shapiro, E.: The Art of Prolog. MITPress, Cambridge (1994)

    MATH  Google Scholar 

  49. 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–242. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-99461-7_13

  50. Wang, H., Shakerin, F., Gupta, G.: FOLD-RM: efficient scalable explainable AI. TPLP 22(5), 658–677 (2022)

    MATH  Google Scholar 

  51. 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–19. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-35254-6_1

  52. Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. Theory Pract. Log. Program. 12(1–2), 67–96 (2012)

    MATH  Google Scholar 

  53. Wikipedia. Neurosymbolic AI. https://en.wikipedia.org/wiki/Neuro-symbolic_AI#. Accessed Feb 2022

  54. 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

  55. Zeng, Y., Rajasekharan, A., et al.: Automated interactive domain-specific conversational agents that understand human dialogs. Preprint arXiv:2302.08941 (2023)

Download references

Acknowledgements

We are grateful to the anonymous reviewers and to David S. Warren for insightful comments and suggestions that resulted in significant improvements to the paper. Authors acknowledge partial support from NSF grants IIS 1910131, IIP 1916206, and US DoD.

Author information

Authors and Affiliations

  1. Department of Computer Science, UT Dallas, Richardson, USA

    Gopal Gupta, Elmer Salazar, Farhad Shakerin, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan & Yankai Zeng

  2. CETINIA, Universidad Rey Juan Carlos, Madrid, Spain

    Joaquín Arias

  3. Universidad Politecnica de Madrid and IMDEA Software Institute, Madrid, Spain

    Manuel Carro

Authors
  1. Gopal Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elmer Salazar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Farhad Shakerin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Joaquín Arias
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Sarat Chandra Varanasi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Kinjal Basu
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Huaduo Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Fang Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Serdar Erbatur
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Parth Padalkar
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Abhiramon Rajasekharan
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Yankai Zeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Manuel Carro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gopal Gupta .

Editor information

Editors and Affiliations

  1. Stony Brook University, Stony Brook, NY, USA

    David S. Warren

  2. Simon Fraser University, Burnaby, BC, Canada

    Veronica Dahl

  3. TU Wien, Vienna, Austria

    Thomas Eiter

  4. Universidad Politecnica de Madrid/IMDEA Software Institute, Madrid, Spain

    Manuel V. Hermenegildo

  5. Imperial College London, London, UK

    Robert Kowalski

  6. IBM Research, Yorktown Heights, NY, USA

    Francesca Rossi

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Gupta, G. et al. (2023). Prolog: Past, Present, and Future. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R., Rossi, F. (eds) Prolog: The Next 50 Years. Lecture Notes in Computer Science(), vol 13900. Springer, Cham. https://doi.org/10.1007/978-3-031-35254-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-35254-6_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-35253-9

  • Online ISBN: 978-3-031-35254-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation