Summary: We consider two classes of inclusions involving subdifferential operators, both in the sense of Clarke and in the sense of convex analysis. An inclusion that belongs to the first class is stationary while an inclusion that belongs to the second class is history-dependent. For each class, we prove existence and uniqueness of the solution. The proofs are based on arguments of pseudomonotonicity and fixed points in reflexive Banach spaces. Then we consider two mathematical models that describe the frictionless unilateral contact of a deformable body with a foundation. The constitutive law of the material is expressed in terms of a subdifferential of a nonconvex potential function and, in the second model, involves a memory term. For each model, we list assumptions on the data and derive a variational formulation, expressed in terms of a multivalued variational inequality for the stress tensor. Then we use our abstract existence and uniqueness results on the subdifferential inclusions and prove the unique weak solvability of each contact model. We end this paper with some examples of one-dimensional constitutive laws for which our results can be applied.