AN UNBIASED VIEW OF DATALOG

If Every atom in the body of the ground occasion is while in the set of recognized specifics, then the head atom is additional to your list of identified info. This process is recurring right up until a set issue is arrived at, and no more information could be deduced. Naïve evaluation generates the whole minimum product of the program.[seven]Like