{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:01:22Z","timestamp":1742994082014,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"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_12","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"144-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Prolog Education in Selected Secondary Schools in Bulgaria"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0617-9844","authenticated-orcid":false,"given":"Veneta","family":"Tabakova-Komsalova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3854-4260","authenticated-orcid":false,"given":"Stanimir","family":"Stoyanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0129-5002","authenticated-orcid":false,"given":"Asya","family":"Stoyanova-Doycheva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0978-5014","authenticated-orcid":false,"given":"Lyubka","family":"Doukovska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"12_CR1","unstructured":"Kowalski, R.: Predicate logic as programming language. In: Proceedings IFIP Congress, pp. 569\u2013574. North-Holland Publishing Co., Stockholm (1974)"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"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\u2013Cieszyn 2020, pp. 257\u2013267. https:\/\/doi.org\/10.34916\/el.2020.12.22","DOI":"10.34916\/el.2020.12.22"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Tabakova-Komsalova, V., Glushkova, T., Krasteva, I., Stoyanov, S.: AI training \u2013 approaches, results, analyses and conclusions. In: Smyrnova-Trybulska, E. (ed.) E-learning in the Time of COVID-19 , 13, Katowice\u2013Cieszyn 2021, pp. 176\u2013186. https:\/\/doi.org\/10.34916\/el.2021.13.15","DOI":"10.34916\/el.2021.13.15"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Tabakova-Komsalova, V., Glushkova, T., Grancharova-Hristova, M., Krasteva, I.: Learning tasks in artificial intelligence education. Educ. Technol. 11\/2020(1), 15\u201322, 233\u2013240. ISSN 1314\u20131791 (PRINT), ISSN 2535\u20131214 (ONLINE) (2020) https:\/\/doi.org\/10.26883\/2010.201.2292","DOI":"10.26883\/2010.201.2292"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cecchi, L., Rodr\u0131guez, 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","DOI":"10.1007\/978-3-031-35254-6_11"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-031-35254-6_13"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-031-35254-6_10"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Kowalski, R., D\u00e1vila, 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)","DOI":"10.1007\/978-3-031-35254-6_24"},{"key":"12_CR9","unstructured":"SWI-Prolog. https:\/\/www.swi-prolog.org\/"},{"key":"12_CR10","doi-asserted-by":"crossref","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. No. 13900 in LNCS, Springer, July 2023","DOI":"10.1007\/978-3-031-35254-6"},{"key":"12_CR11","unstructured":"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"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-031-35254-6_9"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sadri, F., Calejo, M., D\u00e1vila, 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","DOI":"10.1007\/978-3-031-35254-6_17"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:10:39Z","timestamp":1687129839000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_12","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"}}]}}