Un Procedimiento de Optimización Semántica de Programas Datalog