A rule is named floor if all of its atoms (head and body) are floor. A floor rule R1 is actually a ground instance of A further rule R2 if R1 is the result of a substitution of constants for the many variables in R2. The Herbrand foundation of the https://elliotxjryf.dailyblogzz.com/34645421/the-5-second-trick-for-datalog