A 25 Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP - Dovier, Agostino ((Lecture Notes in Computer Science ; Programming and Software Engineering))