0.4 :: mix_hyp(Rectangle) :- hyp(Rectangle).
0.6 :: mix_hyp(Circle) :- circ_hyp(Circle).


circ_hyp(circle((X,Y),Radius)) :-
	bottom_left_x(X),
	bottom_left_y(Y),
	radius(Radius).

0.4 :: radius(0.2).
0.3 :: radius(0.3).
0.3 :: radius(0.4).

hyp(rectangle(dummy,X1,Y1,X2,Y2)) :-
	bottom_left_x(X1),
	bottom_left_y(Y1),
	x_dist(XD),
	y_dist(YD),
	X2 is X1 + XD,
	Y2 is Y1 + YD.


0.1 :: bottom_left_x(1).
0.2 :: bottom_left_x(2).
0.1 :: bottom_left_x(3).
0.1 :: bottom_left_x(4).
0.1 :: bottom_left_x(5).
0.2 :: bottom_left_x(6).
0.1 :: bottom_left_x(7).
0.1 :: bottom_left_x(8).

bottom_left_y(Y) :-
	bottom_left_x(X),
        Y is X + 1.

0.3 :: x_dist(1).
0.2 :: x_dist(2).
0.2 :: x_dist(3).
0.1 :: x_dist(4).
0.1 :: x_dist(5).
0.1 :: x_dist(6).

y_dist(D) :-
	x_dist(XD),
	D is XD + 1.