PPDP'07 : proceedings of the 9th ACM Symposium on Principles and Practice of Declarative Programming : July 14-16, 2007, Wroclaw, Poland (Association for Computing Machinery, 2007)