LITTLE KNOWN FACTS ABOUT DATALOG.

If Every atom in the body of the ground instance is in the set of acknowledged information, then the head atom is added towards the list of acknowledged details. This method is repeated until finally a fixed position is arrived at, and no far more details might be deduced. Naïve evaluation produces the whole negligible product of the program.[7]Pe