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…
Category: Regular columns
Open panel: the future of ICLP Proceedings
Over the last few months, there has been an intense discussion within the Executive Committee of the Association for Logic Programming concerning the publication structure adopted in the International Conference for Logic Programming (ICLP) – the flagship conference of the Association. Because of the…
Before the penalties or the geometry of soccer
By Paolo Baldan (1) and Roberto Bruni (2) (1) Univ. of Padova, Department of Pure and Applied Mathematics (2) Univ. of Pisa, Computer Science Department It’s the end of the extra time of the final the European football championship. It has been…
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
Divide and Conquer (Where Has All the Good Democracy Gone?)
By Paolo Baldan and Roberto Bruni
Book Announcement
Communicated by Krzysztof Apt
Antoni Niederlinski
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/
Burning Bridges
By Paolo Baldan (Univ. of Padova) and Roberto Bruni (Univ. of Pisa)
Book Announcement: Programming with Higher-Order Logic
By Dale Miller (INRIA & LIX/Ecole Polytechnique) and Gopalan Nadathur (University of Minnesota)
Doctoral Dissertation: Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations
By Alexandre Miguel dos Santos Martins Pinto
Universidade Nova de Lisboa
Portugal
ICLP: Test of Time Awards
By Agostino Dovier and Vitor Santos Costa