The variable _ signifies an anonymous variable; Every single instance of _ in a clause is handled as a new variable. We implement the requirement that every variable in a very clause should be certain. A variable X is bound if a minimum of one among the following circumstances holds: https://codylmhau.actoblog.com/34553083/the-5-second-trick-for-datalog-5