A rule is referred to as ground if all of its atoms (head and overall body) are ground. A floor rule R1 is usually a ground occasion of Yet another rule R2 if R1 is the result of a substitution of constants for the many variables in R2. The Herbrand https://louisxwsmd.angelinsblog.com/33624955/the-definitive-guide-to-datalog