Resultado de la búsqueda: factorial en prolog