The variable _ represents an anonymous variable; Just about every instance of _ in the clause is handled as being a clean variable. We implement the requirement that each variable inside a clause have to be certain. A variable X is sure if at the very least one among the following conditions retains