%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  NAME :
%      dice.pl
%
% VERSION :
%     0
%
% AUTHOR : Matthieu Petit, Arnaud Gotlieb and Arnaud Jobin
%
% FUNCTION :
%      Implementation of a dice play with an unknown biase
%      
% REMARKS : any problem, contact petit@(without advertissement)irisa.fr
%
% NOTE TO THE USER :  need ctr_proba_v0.pl to work
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%----------------
% Description
%----------------
% Die draw with a biased die unknown. Illustrating example
% of our CP07 paper
%----------------


%-----------------
% Dice
%-----------------

dice(X,Options,[P1,P2]) :-
        init_env(Env),
        P1 in 1..2,
        P2 #= 2,
        P3 #= 2,
        P4 #= 2,
        P5 #= 2,
        P6 in 2..4,
        choose(X,[1,2,3,4,5,6]-[P1,P2,P3,P4,P5,P6],[],Options,Env).
        


%----------------
% Requests
%----------------
% With the filtering algorithm
% | ?- dice(X,[domain_bound],D),labeling([],D)
% without the filtering algorithm
% | ?- dice(X,[],D),labeling([],D)
%----------------


