The variable _ signifies an anonymous variable; Each individual instance of _ in a clause is handled like a fresh variable. We implement the necessity that every variable in the clause need to be bound. A variable X is bound if at the very least certainly one of the following https://eduardovbwpi.blogpayz.com/33954334/little-known-facts-about-datalog