A Language for Updating Logic Programs