CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Teaching


Books and Monographs:

  1. David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi. Prolog - The Next 50 Years. LNCS, Num. 13900, Springer, July 2023.


Invited Papers and Tutorials:

  1. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. How to Best Teach Prolog. July 2023. Invited talk at ICLP Special Session: Teaching Prolog: the Next 50 Years and Prolog Education Group. https://www.youtube.com/watch?v=yn3YvNMpr28Video at the LP Education group.


Articles in Books and Other Collections:

  1. J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo. Teaching Prolog with Active Logic Documents. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 171-183, Springer, July 2023.

  2. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. Some Thoughts on How to Teach Prolog. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 107-123, Springer, July 2023.


Publications in Refereed Workshops:

  1. Manuel V. Hermenegildo, José F. Morales, Pedro Lopez-Garcia. Teaching Pure LP with Prolog and a Fair Search Rule. Proceedings of the 40th ICLP Workshops, Vol. 3799, CEUR-WS.org, October 2024.

  2. D. Ferreiro, J.F. Morales, S. Abreu, M.V. Hermenegildo. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 324-330, Open Publishing Association (OPA), July 2023. See also associated poster at https://cliplab.org/papers/hald-poster-iclp.pdf.


Technical Reports and Manuals:

  1. J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo. Teaching Prolog with Active Logic Documents. Num. CLIP-1/2022.0, Technical University of Madrid (UPM) and IMDEA Software Institute, December 2022.

next up previous Clip_button.gif
Next: Publications in Quality of Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Simulation of
Last updated on Wed Jan 29 06:56:21 PM CET 2025
Contents
Institutional links