The variable _ signifies an nameless variable; each instance of _ in the clause is dealt with as being a refreshing variable. We implement the necessity that every variable inside a clause has to be bound. A variable X is bound if not less than considered one of the following https://datalog04715.blogprodesign.com/55794691/not-known-details-about-datalog