Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - Pfenning