Title: Declarative Programming and Knowledge Management