Processing Declarative Knowledge