A rule is named floor if all of its atoms (head and human body) are floor. A floor rule R1 is usually a ground instance of An additional rule R2 if R1 is the result of a substitution of constants for all of the variables in R2. The Herbrand base https://datalog594715.getblogs.net/66414512/the-definitive-guide-to-datalog