% sorts and general variables
stones={1..10}.
colors={black,white}.
boolean={true,false}.
#domain stones(X).

% Setting the color of each stone
color: stone -> colors.
color(1)=black.
color(X)=white :- X<>1.

% Random variable draw = number of the picked stone
draw:stones.
[r] random(draw).

% Other attributes
selcolor:colors.
help:boolean.

% Representing the tribal laws
help=true :- draw=X, color(X)=C, selcolor=C.
-help :- draw=X, color(X)=C, selcolor<>C.

%selcolor=white :- not selcolor=black.
%selcolor=black :- not selcolor=white.

selcolor=white.
[r] pr(draw=1|selcolor=white)=1/3.

?{draw=2}.