Un'Estensione della Programmazione Logica per la Rappresentazione di Sistemi Dinamici