The Definitive Guide to datalog
A rule is called floor if all of its atoms (head and system) are floor. A ground rule R1 can be a ground instance of An additional rule R2 if R1 is the result of a substitution of constants for each of the variables in R2. The Herbrand base of the Datalog method would be the set of all floor atoms that could be built While using the constants appea