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. Video 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: Publications in Quality of Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Simulation of

Last updated on Tue May 20 10:52:27 AM CEST 2025