1. A computer system comprising: means for storing data; means for allocating the data to classes of at least one class structure forming an object model; an inference unit for generating output variables by evaluating rules; and means for inputting a query command for instructing said inference unit to generating output variables by evaluating rules, the rules forming a declarative system and linking components of class structures.