  We apply KAM theory to the equation of the forced relativistic pendulum to
prove that all the solutions have bounded momentum. Subsequently, we detect the
existence of quasiperiodic solutions in a generalized sense. This is achieved
using a modified version of the Aubry-Mather theory for compositions of twist
maps.
