ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…
By Luis Moniz Pereira and Ari Saptawijaya
Constraint Solving and Planning with Picat By Neng-Fa Zhou Håkan Kjellerstrand, Jonathan Fruhman Abstract The book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial…
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
Communicated by Krzysztof Apt
A Gentle Guide to Constraint Logic Programming
via ECLiPSe Third edition, 2014, 570 p. ISBN 978-83-62652-08-2
The book is freely downloadable from http://www.anclp.pl/
By Dale Miller (INRIA & LIX/Ecole Polytechnique) and Gopalan Nadathur (University of Minnesota)
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Economic University of Katowice, Poland.
Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
Robert Kowalski, Imperial College, UK