Twenty-Ninth Conference on Principles and Practice of Constraint Programming CP 2023 (cp2023.a4cp.org) August 27-31, 2023, Toronto, Canada CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms,…
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
In Memoriam: Maarten van Emden
In memoriam: Martin Davis
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 fathers of Computability, to which he contributed with a model of Post–Turing…