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