prior_normal function

Prior normal distribution