A Language for Updating Logic Programs and its Implementation