The variable _ represents an anonymous variable; Each individual instance of _ in the clause is addressed as a contemporary variable. We implement the requirement that each variable in a clause have to be certain. A variable X is sure if a minimum of one among the following problems holds: https://datalog-550370.total-blog.com/the-definitive-guide-to-datalog-59724702