The best Side of datalog
If Each and every atom in your body of the ground instance is within the set of recognised facts, then The pinnacle atom is included into the list of regarded info. This method is recurring until eventually a fixed point is arrived at, and no extra points may very well be deduced. Naïve analysis generates the complete minimum model of the program.