A rule is called ground if all of its atoms (head and system) are ground. A floor rule R1 is often a ground occasion of A different rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand foundation of https://3plintegration48258.blog-mall.com/34481066/little-known-facts-about-datalog