By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
By Agostino Dovier and Enrico Pontelli
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
By Yuliya Lierler and Peter Schüller. Communicated by Paul Tarau.
By André Freitas and João C. Pereira da Silva. Communicated by Alessandra Mileo and Thomas Kreenwalner
Communicated by Paul Tarau
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