LITTLE KNOWN FACTS ABOUT DATALOG 5.

If each atom in the body of the ground occasion is during the list of recognised facts, then The pinnacle atom is included to your list of known facts. This method is repeated until finally a fixed point is arrived at, and no extra points can be deduced. Naïve analysis creates the whole minimal product of the program.[7]Datalog is a declarative lo