Applications of Declarative Programming and Knowledge Management