  In this paper we give elementary conditions completely characterising when
the theory of modules of a Pr\"ufer domain is decidable. Using these results,
we show that the theory of modules of the ring of integer valued polynomials is
decidable.
