THE BEST SIDE OF DATALOG

If Every single atom in the body of the ground instance is in the set of known points, then the head atom is included into the list of recognized facts. This process is recurring right until a hard and fast issue is achieved, and no much more points could possibly be deduced. Naïve analysis produces all the small product of This system.[seven]Whil