The variable _ represents an anonymous variable; each instance of _ in a very clause is handled to be a refreshing variable. We enforce the requirement that each variable within a clause need to be sure. A variable X is sure if not less than among the subsequent ailments holds: https://datalog55421.blogunok.com/34259360/datalog-options