“...ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Vratislav, Polsko)...”