podobni X1 Y1 X2 Y2 X3 Y3 X4 Y4 X5 Y5 X6 Y6 TRUE rasstoyanie X1 Y1 X2

podobni(X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5, X6, Y6, TRUE) :-
	rasstoyanie(X1, Y1, X2, Y2, R1),
	rasstoyanie(X2, Y2, X3, Y3, R2),
	rasstoyanie(X3, Y3, X1, Y1, R3),
	rasstoyanie(X4, Y4, X5, Y5, R4),
	rasstoyanie(X5, Y5, X6, Y6, R5),
	rasstoyanie(X6, Y6, X4, Y4, R6),
	TRUE = (R1*R5 == R2*R4), (R1*R6 == R4*R3).

rasstoyanie(X1, Y1, X2, Y2, R) :-
	R is ((X2-X1)*(X2-X1) + (Y2-Y1)*(Y2-Y1)).