The variable _ signifies an anonymous variable; Every occasion of _ in a very clause is taken care of to be a clean variable. We enforce the need that every variable in a clause has to be certain. A variable X is sure if no less than certainly one of https://juliusrqjbt.blogminds.com/datalog-5-fundamentals-explained-31580347