Constructing three-dimensional geometric objects defined by constraints

Abstract

We developed a system for automatically building three-dimensional geometric objects that are defined by their topology and by geometric constraints. A solid modeller is used for sketching the object. The geometric constraints are first evaluated symbolically by an algorithm written in Prolog. The symbolic solution is then numerically evaluated by procedures linked to Prolog.