A 25-year prspective on logic programming : achievements of the Italian Association for Logic Programming, GULP - Dovier, Agostino; Pontelli, Enrico 1967- (Lecture notes in computer science / series editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, 2010)