5 Simple Techniques For datalog
A rule is named ground if all of its atoms (head and system) are floor. A floor rule R1 is a ground instance of another rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand foundation of the Datalog software is definitely the list of all ground atoms that can be built With all the constants appear