prior_half_normal function

Prior half-normal distribution