Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD)