Abstract
We prove, under appropriate assumptions, the existence of solutions for a second order evolution inclusion with delay in a separable reflexive Banach space. Several applications are investigated via discretization techniques and variational convergence results.