A rule is named floor if all of its atoms (head and physique) are ground. A ground rule R1 is actually a floor occasion of One more rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand base of https://reidngxnb.full-design.com/new-step-by-step-map-for-datalog-5-76848436