If Every atom in the human body of the bottom instance is while in the list of known specifics, then The top atom is added towards the set of regarded facts. This process is repeated until finally a fixed stage is reached, and no far more details can be deduced. https://datalog-561481.jaiblogs.com/61490351/top-guidelines-of-datalog-5