Advanced Declarative Programming