{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:22:34Z","timestamp":1743085354499,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"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_14","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"171-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Teaching Prolog with\u00a0Active Logic Documents"],"prefix":"10.1007","author":[{"given":"Jose F.","family":"Morales","sequence":"first","affiliation":[]},{"given":"Salvador","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Ferreiro","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"issue":"3\u20134","key":"14_CR1","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S1471068418000285","volume":"18","author":"J Arias","year":"2018","unstructured":"Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. Theory Pract. Logic Program. 18(3\u20134), 337\u2013354 (2018). https:\/\/doi.org\/10.1017\/S1471068418000285","journal-title":"Theory Pract. Logic Program."},{"key":"14_CR2","unstructured":"Brecklinghaus, A., Koerner, P.: A Jupyter kernel for Prolog. In: Proceedings 36th Workshop on (Constraint) Logic Lrogramming (WLP 2022). Lecture Notes in Informatics (LNI), Gesellschaft f\u00fcr Informatik, Bonn (2022)"},{"key":"14_CR3","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","DOI":"10.1007\/978-3-031-35254-6_15"},{"key":"14_CR4","unstructured":"Garcia-Pradales, G., Morales, J., Hermenegildo, M.V.: The Ciao Playground. Tech. rep., Technical University of Madrid (UPM) and IMDEA Software Institute (2021). http:\/\/ciao-lang.org\/ciao\/build\/doc\/ciao_playground.html\/ciao_playground_manual.html"},{"key":"14_CR5","unstructured":"Garcia-Pradales, G., Morales, J., Hermenegildo, M.V., Arias, J., Carro, M.: An s(CASP) In-browser playground based on Ciao prolog. In: ICLP2022 Workshop on Goal-directed Execution of Answer Set Programs (2022)"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Haas, A., et al.: Bringing the web up to speed with webassembly. In: Cohen, A., Vechev, M.T. (eds.) Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, 18\u201323 June 2017, pp. 185\u2013200. ACM (2017). https:\/\/doi.org\/10.1145\/3062341.3062363","DOI":"10.1145\/3062341.3062363"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1345","DOI":"10.1007\/3-540-44957-4_90","volume-title":"Computational Logic \u2014 CL 2000","author":"M Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.: A documentation generator for (C)LP systems. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1345\u20131361. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44957-4_90"},{"key":"14_CR8","unstructured":"Hermenegildo, M.V., Morales, J.: The LPdoc documentation generator. Ref. Manual (v3.0). Tech. rep., UPM (2011). http:\/\/ciao-lang.org"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Hermenegildo, M., Morales, J.: 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. LNCS (LNAI), vol. 13900, pp. 107\u2013123. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_9","DOI":"10.1007\/978-3-031-35254-6_9"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D Knuth","year":"1984","unstructured":"Knuth, D.: Literate programming. Computer J. 27, 97\u2013111 (1984)","journal-title":"Computer J."},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E Mera","year":"2009","unstructured":"Mera, E., Lopez-Garc\u00eda, P., Hermenegildo, M.: Integrating software testing and run-time checking in an assertion verification framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 281\u2013295. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02846-5_25"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Morales, J.F., Haemmerl\u00e9, R., Carro, M., Hermenegildo, M.V.: Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th International Conference on Logic Programming (ICLP2012) Special Issue 12(4\u20135), pp. 755\u2013773 (2012)","DOI":"10.1017\/S1471068412000336"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Morrison, B.B., DiSalvo, B.J.: Khan academy gamifies computer science. In: Dougherty, J.D., Nagel, K., Decker, A., Eiselt, K. (eds.) The 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, USA, 5\u20138 March 2014, pp. 39\u201344. ACM (2014). https:\/\/doi.org\/10.1145\/2538862.2538946","DOI":"10.1145\/2538862.2538946"},{"key":"14_CR14","unstructured":"$$\\tau $$Prolog \u2013 an open source Prolog interpreter in javascript. http:\/\/tau-prolog.org (2021). Accessed 16 May 2023"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Wielemaker, J., Riguzzi, F., Kowalski, R.A., Lager, T., Sadri, F., Calejo, M.: Using SWISH to realize interactive web-based tutorials for logic-based languages. Theory Pract. Log. Program. 19(2), 229\u2013261 (2019). https:\/\/doi.org\/10.1017\/S1471068418000522","DOI":"10.1017\/S1471068418000522"},{"key":"14_CR16","doi-asserted-by":"publisher","unstructured":"Zakai, A.: Emscripten: an LLVM-to-Javascript compiler. In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications, pp. 301\u2013312. SPLASH 2011, ACM, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/2048147.2048224","DOI":"10.1145\/2048147.2048224"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:10:41Z","timestamp":1687129841000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_14","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"}}]}}