StochasticprologCilc08