Title: Declarative Programming for Knowledge Management