The variable _ signifies an anonymous variable; Every occasion of _ inside a clause is treated as being a new variable. We enforce the need that every variable in a clause needs to be certain. A variable X is bound if no less than considered one of the subsequent situations https://elliottrspmf.qodsblog.com/33902608/datalog-5-things-to-know-before-you-buy