“...ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Coimbra, Portugalsko)...”