{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:27:26Z","timestamp":1743082046978,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"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_9","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"107-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Some Thoughts on\u00a0How to\u00a0Teach Prolog"],"prefix":"10.1007","author":[{"given":"Manuel V.","family":"Hermenegildo","sequence":"first","affiliation":[]},{"given":"Jose F.","family":"Morales","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Lopez-Garcia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Bassiliades, N., Sakellariou, I., Kefalas, P.: Demonstrating multiple prolog programming techniques through a single operation. 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. 71\u201381. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_6","key":"9_CR1","DOI":"10.1007\/978-3-031-35254-6_6"},{"doi-asserted-by":"publisher","unstructured":"Cecchi, L.A., Rodr\u00edguez, J.P., 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. LNCS (LNAI), vol. 13900, pp. 131\u2013143. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_11","key":"9_CR2","DOI":"10.1007\/978-3-031-35254-6_11"},{"doi-asserted-by":"publisher","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. LNCS (LNAI), vol. 13900, pp. 124\u2013130. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_10","key":"9_CR3","DOI":"10.1007\/978-3-031-35254-6_10"},{"doi-asserted-by":"crossref","unstructured":"Colmerauer, A.: The birth of prolog. In: Second History of Programming Languages Conference, pp. 37\u201352. ACM SIGPLAN Notices (1993)","key":"9_CR4","DOI":"10.1145\/155360.155362"},{"doi-asserted-by":"publisher","unstructured":"Flach, P., Sokol, K., Wielemaker, J.: Simply logical - the first three decades. 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. 184\u2013193. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_15","key":"9_CR5","DOI":"10.1007\/978-3-031-35254-6_15"},{"doi-asserted-by":"publisher","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. LNCS (LNAI), vol. 13900, pp. 197\u2013209. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_16","key":"9_CR6","DOI":"10.1007\/978-3-031-35254-6_16"},{"doi-asserted-by":"crossref","unstructured":"Green, C.C.: Application of Theorem Proving to Problem Solving. In: Walker, D.E., Norton, L.M. (eds.) Proceedings IJCAI, pp. 219\u2013240. William Kaufmann (1969)","key":"9_CR7","DOI":"10.21236\/ADA459656"},{"doi-asserted-by":"publisher","unstructured":"Gupta, G., Salazar, E., Arias, J., Basu, K., Varanasi, S., Carro, M.: Prolog: past, present, and future. 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. 48\u201361. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_4","key":"9_CR8","DOI":"10.1007\/978-3-031-35254-6_4"},{"issue":"13\u201314","key":"9_CR9","doi-asserted-by":"publisher","first-page":"1685","DOI":"10.1016\/S0167-8191(00)00051-X","volume":"26","author":"M Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.: Parallelizing irregular and pointer-based computations automatically: perspectives from logic and constraint programming. Parallel Comput. 26(13\u201314), 1685\u20131708 (2000)","journal-title":"Parallel Comput."},{"doi-asserted-by":"publisher","unstructured":"Hermenegildo, M., Morales, J., 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","key":"9_CR10","DOI":"10.1007\/978-3-031-35254-6_2"},{"unstructured":"Kowalski, R.A.: Predicate logic as a programming language. In: Proceedings IFIPS, pp. 569\u2013574 (1974)","key":"9_CR11"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R Kowalski","year":"1971","unstructured":"Kowalski, R., Kuehner, D.: Linear resolution with selection function. Artif. Intell. 2(3), 227\u2013260 (1971)","journal-title":"Artif. Intell."},{"doi-asserted-by":"publisher","unstructured":"Kowalski, R., Sadri, F., Calejo, M., D\u00e1vila-Quintero, J.: Combining prolog and imperative computing in LPS. 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. 210\u2013223. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_17","key":"9_CR13","DOI":"10.1007\/978-3-031-35254-6_17"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/35043.35046","volume":"31","author":"RA Kowalski","year":"1988","unstructured":"Kowalski, R.A.: The early years of logic programming. Commun. ACM 31(1), 38\u201343 (1988)","journal-title":"Commun. ACM"},{"doi-asserted-by":"publisher","unstructured":"Leuschel, M.: ProB: harnessing the power of prolog to bring formal models and mathematics to life. 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. 239\u2013247. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_19","key":"9_CR15","DOI":"10.1007\/978-3-031-35254-6_19"},{"doi-asserted-by":"publisher","unstructured":"Morales, J., Abreu, S., Hermenegildo, M.: Teaching prolog with active logic documents. 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. 171\u2013183. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_14","key":"9_CR16","DOI":"10.1007\/978-3-031-35254-6_14"},{"unstructured":"Pereira, L., Pereira, F., Warren, D.: User\u2019s Guide to DECsystem-10 Prolog. Dept. of Artificial Intelligence, Univ. of Edinburgh (1978)","key":"9_CR17"},{"issue":"23","key":"9_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine oriented logic based on the resolution principle. J. ACM 12(23), 23\u201341 (1965)","journal-title":"J. ACM"},{"doi-asserted-by":"publisher","unstructured":"Tabakova-Komsalova, V., Stoyanov, S., Stoyanova-Doycheva, A., Doukovska, L.: Prolog education in selected high schools in Bulgaria. 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. 144\u2013153. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_12","key":"9_CR19","DOI":"10.1007\/978-3-031-35254-6_12"},{"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","key":"9_CR20","DOI":"10.1007\/978-3-031-35254-6_1"},{"doi-asserted-by":"publisher","unstructured":"Warren, D.S.: Writing correct prolog programs. 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. 62\u201370. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_5","key":"9_CR21","DOI":"10.1007\/978-3-031-35254-6_5"},{"doi-asserted-by":"publisher","unstructured":"Warren, D.S., Denecker, M.: A better logical semantics for 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. 82\u201392. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_7","key":"9_CR22","DOI":"10.1007\/978-3-031-35254-6_7"},{"unstructured":"Warren, D.: Applied logic-its use and implementation as programming tool, Ph. D. thesis, University of Edinburgh (1977), also available as SRI Technical Note 290","key":"9_CR23"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:10:10Z","timestamp":1687129810000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_9","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"}}]}}