Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming