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

CLIP Group's Publications in 2023


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.

  2. Ferreiro de Aguiar, Daniela. A System for generating interactive tutorials for CiaoPP. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 57 pages, February 2023. MSc Thesis.


Articles in Books and Other Collections:

  1. Gopal Gupta, Elmer Salazar, Joaquín Arias, Kinjal Basu, S Varanasi, M Carro. Prolog: Past, Present, and Future. Prolog - The Next 50 Years, LNCS, Num. 13900, Springer, July 2023.

  2. Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P., Carro, M.. Types, modes and so much more - the Prolog way. Prolog - The Next 50 Years, LNCS, Num. 13900, Springer, July 2023.

  3. Morales, J.F., Abreu, Salvador, Hermenegildo, M.V.. Teaching Prolog with Active Logic Documents. Prolog - The Next 50 Years, LNCS, Num. 13900, Springer, July 2023.

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


Technical Reports and Manuals:

  1. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.22). April 2023. Available at http://ciao-lang.org.



Last updated on Fri 26 May 2023 10:25:01 AM CEST