Hamiltonian geodesics in nonholonomic differential systems

We derive the general form of a sub-Riemannian Hamiltonian on a Riemannian manifold endowed with the nonholonomic distribution. The generic properties of sub-Riemannian exponential map and horizontal curves are investigated.