Uncertain computation is a system of computation and reasoning in which the objects of computation are not values of variables but restrictions on values of variables. --