INAP 2005, 16th Int'l Conf. on Applications of Declarative Programming & Knowledge Management