Open CALL FOR PAPERSThe 39th International Conference on Logic Programming (ICLP 2023)https://iclp2023.imperial.ac.uk/ London, UKJuly 9-15, 2023 ICLP 2023 will be an in-person event in London, UK. Scope Since the first conference held in Marseille in 1982, ICLP has been…
Extensions of Logic Programming in Maude
By Santiago Escobar, VRAIN, Universitat Politècnica de València, Spain AbstractIn 2022/2023, the logic programming community is celebrating the milestone of 50 years of evolution of logic programming languages, started in 1972 with the first version of Prolog. In this paper,…
The ALP Alain Colmerauer Prize
2022 was celebrated as the Year of Prolog to recognize the 50th anniversary of these events and highlight the continuing significance of Prolog and Logic Programming both for symbolic, explainable AI, and for computing more generally. The celebration culminated with…
In Memoriam: Maarten van Emden
Maarten van Emden (Dec. 31, 1937 – Jan. 4, 2023) Bio by Eva van Emden: Maarten was born on December 31, 1937, in Velp, the Netherlands. His early childhood was spent in the Dutch East Indies, although he also attended…
In memoriam: Martin Davis
By Eugenio Omodeo and Alberto Policriti with a foreword by Domenico Cantone. Martin Davis (March 8, 1928-January 1, 2023) and his beloved wife Virginia passed away yesterday. They had been married for over 71 years. Martin was one of the…
Editorial Vol. 34, No. 1, August 2022
Dear LPers, Welcome back to a long overdue update from your favorite ALP. Apologies for the long delay – many changes have taken place and we are now ready to entertain you again with all the interesting news from the world of…
Collection of theses in Computational Logic
The ALP website is trying to build the list of theses (bachelor, master, PhD) in Computational Logic. See, for instance, PhD Dissertations Master’s Theses Please, consider to report your work for inclusion in the list by sending the…