HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG 5

If Every single atom in your body of the bottom occasion is inside the set of recognised points, then The pinnacle atom is extra to the list of acknowledged details. This method is recurring until finally a fixed position is achieved, and no additional details may be deduced. Naïve evaluation creates the whole minimal model of the program.[seven]B