The variable _ represents an anonymous variable; Each and every instance of _ in a very clause is addressed being a new variable. We enforce the necessity that each variable inside a clause have to be bound. A variable X is bound if at the very least considered one of the next circumstances retains: