The variable _ represents an nameless variable; Every instance of _ in a very clause is dealt with as being a new variable. We enforce the prerequisite that each variable within a clause must be bound. A variable X is bound if at the very least one of the following https://datalog582659.blue-blogs.com/41878684/the-definitive-guide-to-datalog