Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP'00: Florence, Italy, September 5-7, 2001 (Association of Canadian Map Libraries & Archives)