Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings - Codognet, Philippe (Lecture notes in computer science ;, 2001)