Skip to main content
SpringerLink
Log in

Prolog Education in Selected Secondary Schools in Bulgaria

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

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

Abstract

This article presents our activities for introducing the training of Prolog programming to the secondary school. The beginning was the development of an appropriate curriculum. The results of an experiment conducted with a group of selected students are summarized in this paper. A project is briefly presented, the purpose of which is to provide an opportunity to share knowledge and experience about Prolog programming and at the same time help build a community of interested students. In the conclusion, we have tried to summarize our experience which would possibly help to introduce Prolog programming in secondary school in other conditions.

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. Kowalski, R.: Predicate logic as programming language. In: Proceedings IFIP Congress, pp. 569–574. North-Holland Publishing Co., Stockholm (1974)

    Google Scholar 

  2. Glushkova, T., Stoyanov, S., Tabakova-Komsalova, V., Grancharova-Hristova, M., Krasteva, I.: An approach to teaching artificial intelligence in School. In: Smyrnova-Trybulska, E. (ed.) Innovative Educational Technologies, Tools and Methods for E-learning, 12, Katowice–Cieszyn 2020, pp. 257–267. https://doi.org/10.34916/el.2020.12.22

  3. Tabakova-Komsalova, V., Glushkova, T., Krasteva, I., Stoyanov, S.: AI training – approaches, results, analyses and conclusions. In: Smyrnova-Trybulska, E. (ed.) E-learning in the Time of COVID-19 , 13, Katowice–Cieszyn 2021, pp. 176–186. https://doi.org/10.34916/el.2021.13.15

  4. Tabakova-Komsalova, V., Glushkova, T., Grancharova-Hristova, M., Krasteva, I.: Learning tasks in artificial intelligence education. Educ. Technol. 11/2020(1), 15–22, 233–240. ISSN 1314–1791 (PRINT), ISSN 2535–1214 (ONLINE) (2020) https://doi.org/10.26883/2010.201.2292

  5. Cecchi, L., Rodrıguez, J., Dahl, V.: Logic programming at Elementary School: why, what and how should we teach logic programming to children?. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

  6. Dahl, V., Cecchi, L.: Introducing prolog in language-informed ways. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS. Springer, July 2023

    Google Scholar 

  7. Cervoni, L., Brasseur, J., Rohmer, J.: Simultaneously teaching Mathematics and Prolog in school curricula: a mutual benefit. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

  8. Kowalski, R., Dávila, J., Sartor, J., 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. No. 13900 in LNCS, Springer (July 2023)

    Google Scholar 

  9. SWI-Prolog. https://www.swi-prolog.org/

  10. 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. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

  11. Genesereth, M.: Dynamic Logic Programming. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

  12. Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P.: Some thoughts on how to teach Prolog. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

  13. Kowalski, R., Sadri, F., Calejo, M., Dávila, J.: Combining logic programming and imperative programming in LPS. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. No. 13900 in LNCS, Springer, July 2023

    Google Scholar 

Download references

Acknowledgment

The research is supported by the project KP-06-M62/2 “Modeling of knowledge in the field of Bulgarian folklore” funded by the National Research Fund and by the Bulgarian Ministry of Education.

Author information

Authors and Affiliations

  1. University of Plovdiv “Paisii Hilendarski”, Plovdiv, Bulgaria

    Veneta Tabakova-Komsalova, Stanimir Stoyanov & Asya Stoyanova-Doycheva

  2. Institute of Information and Communication Technologies, Bulgarian Academy of Sciences, Sofia, Bulgaria

    Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva & Lyubka Doukovska

Authors
  1. Veneta Tabakova-Komsalova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stanimir Stoyanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Asya Stoyanova-Doycheva
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lyubka Doukovska
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Veneta Tabakova-Komsalova .

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

Tabakova-Komsalova, V., Stoyanov, S., Stoyanova-Doycheva, A., Doukovska, L. (2023). Prolog Education in Selected Secondary Schools in Bulgaria. 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_12

Download citation

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

  • 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