Presentamos un marco general para el diagnostico abstracto de programas logico- funcionales, valido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semantica por punto fijo que modela las respuestas computadas. Nuestra metodologia esta basada en la interpretacion abstracta y es parametrica con respecto a la estrategia de computo. Gracias a que la aproximacion del conjunto de exitos que presentamos es finita, la metodologia de diagnostico que se propone puede ser usada de manera estatica. Una implementacion de nuestro sistema de depuracion \BUGGY demuestra experimentalmente que el metodo permite encontrar algunos errores comunes sobre una muestra amplia de programas. Palabras Claves: depuracion declarativa, diagnostico abstracto, interpretacion abstracta, lenguaje logico funcional, programacion multiparadigma, semantica operacional, semantica de punto fijo.