The inheritance mechanism of a System Integrating Logic in Objects

The inheritance mechanism of SILO, a System Integrating Logic in Objects, is presented. It comprises two components, a hardwired and a user-definable. In the hardwired component, apart from overriding, solution invalidation is also used. The user-definable component consists of a number of user-definable functions to control inheritance, called meta-functions. The architecture employed to realize explicit representation of control knowledge is based on a partial reflection meta-level architecture.<
>