A rule is named ground if all of its atoms (head and physique) are floor. A ground rule R1 is really a floor occasion of A different rule R2 if R1 is the result of a substitution of constants for all of the variables in R2. The Herbrand foundation of https://gunnernnidw.blog-eye.com/34010896/the-best-side-of-datalog