SpringerLink
Log in

Logical English for Law and Education

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

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

Abstract

In this paper we present the key features of Logical English as syntactic sugar for logic programming languages such as pure Prolog, ASP and s(CASP); and we highlight two application areas, coding legal rules, and teaching logic as a computer language for children.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Casas, A., Cabeza, D., Hermenegildo, M.V.: A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 146–162. Springer, Heidelberg (2006). https://doi.org/10.1007/11737414_11

    Chapter  Google Scholar 

  2. Davila, J.: Rock-Paper-Scissors (2017). https://demo.logicalcontracts.com/p/rps-gets.pl

  3. Fuchs, N.E., Schwitter, R.: Attempto controlled English (ACE). ar**v preprint cmp-lg/9603003 (1996)

    Google Scholar 

  4. Guy, S.C., Schwitter, R.: The PENGASP system: architecture, language and authoring tool. Lang. Resourc. Eval. 51, 67–92 (2017)

    Article  Google Scholar 

  5. Hermenegildo, M., Morales, J., Lopez-Garcia P., Carro, M.: Types, modes and so much more – the Prolog way. In: Warren, D., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNAI, vol. 13900, pp. 23–37. Springer, Cham (2023)

    Google Scholar 

  6. Kowalski, R.: English as a logic programming language. N. Gener. Comput. 8(2), 91–93 (1990)

    Article  Google Scholar 

  7. Kowalski, R.A.: Legislation as logic programs. In: Comyn, G., Fuchs, N. E., Ratcliffe, M. J. (eds.) LPSS 1992. LNCS, vol. 636, pp. 203–230. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55930-2_15

    Chapter  Google Scholar 

  8. Kowalski, R.: Logical English. In: Proceedings of Logic and Practice of Programming (LPOP) (2020)

    Google Scholar 

  9. Kowalski, R., Datoo, A.: Logical English meets legal English for swaps and derivatives. Artif. Intell. Law 30(2), 163–197 (2021). https://doi.org/10.1007/s10506-021-09295-3

    Article  Google Scholar 

  10. Kowalski, R., Dávila, J., Calejo, M.: Logical English for legal applications. In: XAIF, Virtual Workshop on Explainable AI in Finance (2021)

    Google Scholar 

  11. Kowalski, R., Dávila, J., Sartor, G., Calejo, M.: Logical English for law. In: Proceedings of the Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR), JURIX (2022)

    Google Scholar 

  12. Kowalski, R., Sadri, F.: Reactive computing as model generation. N. Gener. Comput. 33(1), 33–67 (2015). https://doi.org/10.1007/s00354-015-0103-z

    Article  MATH  Google Scholar 

  13. Kowalski, R., Sadri, F.: Programming in logic without logic programming. Theory Pract. Logic Program. 16(03), 269–295 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  14. Kowalski, R., Sadri, F., Calejo, M., Dávila, J.: Combining logic programming and imperative programming in LPS. In: Warren, D., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNAI, vol. 13900, pp. 210–223. Springer, Cham (2023)

    Google Scholar 

  15. Sartor, G., Dávila, J., Billi, M., Contissa, G., Pisano, G., Kowalski, R.: Integration of logical English and s(CASP). In: 2nd Workshop on Goal-directed Execution of Answer Set Programs (GDE’22) (2022)

    Google Scholar 

  16. Satoh, K., et al.: PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: Onada, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS, vol. 6797, pp. 153–164. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-25655-4_14

  17. Satoh, K.: PROLEG: practical legal reasoning system. In: Warren, D., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNAI, vol. 13900, pp. 277–283. Springer, Cham (2023)

    Google Scholar 

  18. Schwitter, R.: English as a formal specification language. In: Proceedings of 13th International Workshop on Database and Expert Systems Applications, pp. 228–232. IEEE (2002)

    Google Scholar 

  19. Warren, D.S.: Writing correct prolog programs. In: Warren, D., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNAI, vol. 13900, pp. 62–70. Springer, Cham (2023)

    Google Scholar 

  20. Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-Prolog. Theory Pract. Logic Program. 12(1–2), 67–96 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College London, London, UK

    Robert Kowalski

  2. Universidad de Los Andes, Merida, Venezuela

    Jacinto Dávila

  3. University of Turin, Turin, Italy

    Galileo Sartor

  4. Logicalcontracts.Com, Lisbon, Portugal

    Miguel Calejo

Authors
  1. Robert Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacinto Dávila
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Galileo Sartor
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Miguel Calejo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robert Kowalski .

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

Kowalski, R., Dávila, J., Sartor, G., Calejo, M. (2023). Logical English for Law and Education. 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_24

Download citation

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

  • 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