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,…
By Broes De Cat, Bart Bogaerts, and Marc Denecker. Communicated by Marcello Balduccini and Tran Cao Son.
By Tom Schrijvers and Michael Leuschel
By Ethan K. Jackson, Microsoft Research, Redmond, WA. Communicated by John Gallagher and Michael Leuschel.
By Michael Fink, Vienna University of Technology, Austria
Communicated by Tom Schrijvers