Options
1991
Conference Paper
Titel
Constraint-based modeling with ProCrux
Abstract
The purpose of this paper is descriptive constraint modeling mechanism for intelligent CAD systems. Basic operations constraint by explicitly defined preconditions, restrictions and exceptions can support a lot of geometric modeling applications like assembly modeling and feature modeling. The prototype system ProCrux realizes a Prolog environment which is coupled to an object-oriented database system. It supports the definition and handling of predicate-based constraints on geometric objects and their operations.