LUPS—A language for updating logic programs ScienceDirec pdf