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 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. 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. Technical University of Madrid (UPM) and IMDEA Software Institute, December 2022.



Last updated on Tue Feb 27 02:13:55 PM CET 2024