Add prism program to compute probabilistic montague semantics