The variable _ represents an nameless variable; Every occasion of _ within a clause is treated like a fresh variable. We implement the need that each variable inside a clause should be certain. A variable X is sure if at the least one of the following problems retains: Enhance Place IWMS software