Analysis of Downward Closed Properties of Logic Programs