Dear LPers, We start with a mournful question: Did Prolog pass away? Some posters outside ECAI 2014 in Prague seem to suggest this (they also suggest that Prolog’s history goes back in time much earlier than we all thought…) First of all,…
Category: ALP ISSUE
MiniSAT(ID) for satisfiability checking and constraint solving
By Broes De Cat, Bart Bogaerts, and Marc Denecker. Communicated by Marcello Balduccini and Tran Cao Son.
ICLP 2014 Report
By Tom Schrijvers and Michael Leuschel
Engineering Domain-Specific Languages with FORMULA 2.0
By Ethan K. Jackson, Microsoft Research, Redmond, WA. Communicated by John Gallagher and Michael Leuschel.
ASP Taking Action
By Michael Fink, Vienna University of Technology, Austria
Post DOC position in KU Leuven, Belgium
Communicated by Tom Schrijvers
Editorial, June/July 2014
Hi all, apologies for the slight delay in the publication of this issue of the newsletter – the summer is a slow period and we have been moving slowly as well 🙂 . We hope that you are reading the new set…
Picat: A Logic-based Multi-paradigm Language
By Håkan Kjellerstrand, Malmoe, Sweden. Communicated by Tom Schrijvers and Roman Bartak
Divide and Conquer (Where Has All the Good Democracy Gone?)
By Paolo Baldan and Roberto Bruni
Conference Report: CILC 2014
Report on CILC 2014, by Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato