Special issue on 'Program development' in Theory and practice of logic programming (Vol 2(4&5)) - Bruynooghe, M.; Bruynooghe, Maurice; Lau, Kung-Kiu (2002)