IA LAB 11 Marzo - Traduzione Regole Clausure di Horn