MarkovProlog