Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs