Milanese, Vitaliano2014-10-212014-10-2119901467-8659https://doi.org/10.1111/j.1467-8659.1990.tb00373.xA declarative language (KA?MOE) for CAD-CAM modeling is presented. The language is designed to protect topological models constraints and guarantee their inheritance in complex entities built up from simpler ones. By itself, KA?MOE behaves as an evolution of Prolog, which is integrated with primitives for modularization and for privatizing modeling structures so as to guarantee interfacing the language with relational or deductive Data Bases.10.1111/j.1467-8659.1990.tb00373.x39-51