Prolog-assert globally affects stored information in Prolog, a general purpose logic programming language.
