Source-to-source-Transformationen zur Erklärung des Programmverhaltens bei deduktiven DatenbankenPrévenez-moi