head_bias([heads(c1),tails(c1),toss(c1)]).

head_bias([heads(c2),tails(c2),toss(c2)]).

head_bias([biased(c1),fair(c1)]).

head_bias([biased(c2),fair(c2)]).

determination(heads(c1),toss(c1)).
determination(heads(c1),biased(c1)).
determination(heads(c1),fair(c1)).
determination(biased(c1),heads(c1)).
determination(biased(c1),tails(c1)).
determination(biased(c1),toss(c1)).



determination(heads(c2),toss(c2)).
determination(heads(c2),biased(c2)).
determination(heads(c2),fair(c2)).
determination(biased(c2),heads(c2)).
determination(biased(c2),tails(c2)).
determination(biased(c2),toss(c2)).


:-set(d,100).