“...International Conference on Logic Programming Santa Margherita Ligure, Itálie)...”