que es un hecho en prolog