NOT KNOWN DETAILS ABOUT DATALOG

If each atom in the body of the ground instance is within the list of recognized facts, then The top atom is included for the list of regarded information. This method is recurring until finally a hard and fast position is achieved, and no more specifics could be deduced. Naïve analysis provides your entire small design of the program.[seven]Datal