The variable _ signifies an anonymous variable; Every occasion of _ inside of a clause is treated to be a refreshing variable. We implement the need that each variable inside a clause should be sure. A variable X is bound if at the very least one of the next disorders holds:Datalog is a declarative logic programming language. Although it can be syn