5 Simple Techniques For datalog
If Each individual atom in the human body of the ground occasion is from the list of recognised specifics, then the head atom is added into the list of regarded points. This method is recurring till a hard and fast place is attained, and no much more information might be deduced. Naïve evaluation makes the complete minimal product of the program.[