3-D structure modeling via constraint resolution

A study is made of the design of a tool for developing structure modeling systems. A constraint logic programming scheme is the framework chosen for the system. In order to determine the structure of a set of objects by resolving geometric relations, the representation scheme, which is based on rigid transformations, is used to express geometric relations algebraically. Parameters not determined in a relation formula may be determined by correlating them with other formulae. This is done automatically by constraint resolution.<
>