Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming