DETAILED NOTES ON DATALOG

The variable _ represents an nameless variable; Each individual instance of _ in the clause is handled to be a fresh new variable. We enforce the need that each variable in a very clause have to be certain. A variable X is sure if no less than certainly one of the following situations retains:The set of info is called the extensional database or ED