DATALOG OPTIONS

The variable _ signifies an nameless variable; each instance of _ in a clause is dealt with like a refreshing variable. We implement the requirement that each variable in a very clause should be certain. A variable X is certain if at the least considered one of the following circumstances holds:The fixpoint semantics suggest an algorithm for comput