The variable _ signifies an nameless variable; Every instance of _ inside a clause is taken care of like a new variable. We implement the requirement that each variable in a clause should be bound. A variable X is certain if not less than certainly one of the subsequent situations https://integrated-management-sys66554.theisblog.com/34095311/about-integrated-management-system