THE 5-SECOND TRICK FOR DATALOG 5

A rule is termed ground if all of its atoms (head and system) are floor. A ground rule R1 is actually a floor instance of Yet another rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand base of the Datalog program may be the list of all floor atoms that may be produced Along with the constants ap