Dynamic geometry programs provide environments where accurate construction of geometric configurations can be done. Nevertheless, intrinsic limitations in their standard development technology mostly produce objects that are equationally unknown and so can not be further used in constructions....

We describe the capabilities of Lugares for obtaining the equations and graphs of plane loci. Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis...