The 5-Second Trick For datalog
A rule is termed floor if all of its atoms (head and system) are floor. A ground rule R1 is usually a floor instance of Yet another rule R2 if R1 is the result of a substitution of constants for all the variables in R2. The Herbrand foundation of a Datalog system is the set of all ground atoms which can be created With all the constants showing up