EGDigital LibraryDid you forget your password?Login - remember to enable cookies in your browser.Search
HomeHelp
Up one levelDL

Computer Graphics Forum
Volume 9, Issue 1 (1990)
pp. 39-51

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

Author:

V. Milanese

Abstract:

A declarative language 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, 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.


[full Paper] [first Page]
[complete issue]


System hostet at Graz University of Technology and powered by Hyperwave