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.