Since the first goal is constraints(X'), the second clause is evaluated, and this operation moves all constraints in the current goal and eventually in the constraint store.
Пошто први циљ је ограничења (X'), друга клаузула се оцењује, а ова операција креће све ограничења у тренутном циљу и на крају у ограничење продавнице.