NOT KNOWN DETAILS ABOUT DATALOG

A rule is termed floor if all of its atoms (head and system) are floor. A floor rule R1 is usually a floor occasion of A further rule R2 if R1 is the results of a substitution of constants for each of the variables in R2. The Herbrand base of a Datalog software may be the set of all ground atoms that can be designed Along with the constants showing