Describir: Diagnostificador de programas Prolog puro con negacion por falla