Inference with Constrained Hidden Markov Models in PRISM