HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG 5

The variable _ signifies an anonymous variable; Each individual instance of _ in a very clause is taken care of as a new variable. We implement the necessity that every variable in a very clause has to be sure. A variable X is sure if at least certainly one of the following disorders retains:The list of info is called the extensional databases or E