===Циклы и отрицание===
Запретим отрицание Представим ситуацию, когда принадлежность кортежа к отношению зависит от отрицания его принадлежности к отношению. Это в циклахчистом виде парадокс брадобрея и мы знаем, чтобы избежать парадокса брадобреячто такая конструкция не имеет смысла. Поэтому, введём '''стратифицированное отрицание''', то есть запрет на отрицание в циклах.
