If Every atom in the body of the bottom occasion is within the set of acknowledged info, then the head atom is added into the list of recognized points. This process is repeated right until a fixed level is achieved, and no much more information may be deduced. Naïve analysis https://marioepxel.theideasblog.com/34571763/the-best-side-of-datalog