A rule is named floor if all of its atoms (head and entire body) are floor. A ground rule R1 is often a ground instance of A further rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand base https://remingtongbvmc.alltdesign.com/the-2-minute-rule-for-datalog-53602513