The variable _ signifies an anonymous variable; Every single occasion of _ in the clause is treated like a clean variable. We implement the need that every variable in a clause have to be certain. A variable X is sure if no less than one of the subsequent situations holds:Datalog is exclusive in that it is depending on procedures instead of process