A 25-year prspective on logic programming : achievements of the Italian Association for Logic Programming, GULP - Dovier, Agostino (Springer, 2010)