By Agostino Dovier and Vitor Santos Costa
Category: Regular columns
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal
Mosquitoes busters
By Paolo Baldan, Univ. of Padova, and Roberto Bruni, Univ. of Pisa
Book Announcement: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science (EPTCS) was
launched by Rob van Glabbeek in 2009, as an initiative to have
proceedings of all worthy workshops in Theoretical Computer Science
freely available on-line …
How to Solve it With B-Prolog?
by Neng-Fa Zhou, Brooklyn College, CUNY, USA
Salvador Abreu, University of Evora, Portugal
Ulrich Neumerkel, TU Wien, Austria
Planet Prolog: Call for Blogs and Feeds
By Tom Schrijvers, KULeuven, Belgium
Book Announcement: A 25 Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
Logtalk 2.40.0 Released
By Paulo Moura,
University of Beira Interior,
Portugal