Logic Augmented Generation