The variable _ represents an nameless variable; Each individual instance of _ within a clause is dealt with being a refreshing variable. We implement the prerequisite that every variable in the clause have to be bound. A variable X is bound if at least certainly one of the following situations holds:Its origins date back again to the beginning of l