automatic morphs, automorph

so I was thinking of a thing, a lang maybe, where you input smth like d(A,B)=5; d(B,C)=5; d(C,A)=5; and you get an equilateral triangle to show up on the screen, you know what I'm saying? it seems a bit prolog'ish, where there are constraints and a builtin search algorithm, but it also has a display screen. this could be used to solve geometric problems, placing coordinates of points, distances bw points, angles made by three points, and so on, to get a visual description of the remaining solutions given the constraints...

anyone know if there's already something like this out there? don't want to reinvent the wheel and all. and if not, what are the best tips on going about creating it? kthx

Anus