This implementation in B-Prolog extends PRISM with facilities to define a Constrained Hidden Markov Model. Main developer of this framework is Christian Theil Have and more information is available here.