We are interested in the existence results for second-order differential inclusions, involving finite number of unilateral constraints in an abstract framework. These constraints are described by a set-valued operator, more precisely a proximal normal cone to a timedependent set. In order to prove these existence results, we study an extension of the numerical scheme introduced in [10] and prove a convergence result for this scheme.