Declarative Programming - Strategies for Solving Software Problems