With each step, new facts are derived by applying a program clause to the existing facts, and are added to the set.
Са сваким кораком, нове чињенице су изведене применом програма клаузула у постојећим чињеницама, и додају у скуп.