Text this: Declarative programming for knowledge management :