NOT KNOWN DETAILS ABOUT DATALOG

If Each individual atom in the body of the bottom instance is during the list of acknowledged details, then The top atom is added towards the list of regarded facts. This process is repeated right up until a hard and fast stage is arrived at, and no a lot more facts can be deduced. Naïve evaluation generates the whole nominal design of the program