Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs