Publications in Teaching

Books and Monographs:

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

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.