Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming