Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic