En este trabajo, se proporcionan condiciones suficientes para investigar la existencia de soluciones moderadas en un intervalo semi-infinito para inclusiones de evolución diferencial funcional neutral impulsiva semilineal de primer orden con retardo infinito utilizando una alternativa no lineal recientemente desarrollada para aplicaciones multivaluadas contractivas en espacios de Fréchet debido a Frigon combinada con la teoría de semigrupos. El resultado de existencia se ha demostrado sin suponer la compacidad del semigrupo. Introdujimos un nuevo espacio de fase para el sistema impulsivo con retardo infinito y afirmamos que el espacio de fase considerado por diferentes autores no es correcto.