  In this paper, we build Wiener measure for the path space on the Heisenberg
group by using of the heat kernel corresponding to the sub-Laplacian and give
the definition of the Wiener integral. Then we give the Feynman-Kac formula.
