The variable _ represents an nameless variable; Each and every instance of _ within a clause is dealt with as being a fresh variable. We enforce the need that every variable in a very clause need to be bound. A variable X is bound if no less than certainly one https://codylmhau.actoblog.com/34553083/the-5-second-trick-for-datalog-5