KADMOS: a Clausal Language for CAD Modeling Systems with Morphological Constraints