ICLP Workshop on Construction of Logic Programs