PPDP'05 : proceedings of the seventh ACM Sigplan Conference on Principles and Practice of Declarative Programming : Lisbon, Portugalsko (Association for Computing Machinery, 2005)