Publications in Teaching
Books and Monographs:
- 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:
- 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.
- 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:
- 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:
- 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.
Last updated on Thu Sep 26 03:16:40 PM CEST 2024