Declarative programming @ Poznan University of Technology