The one-rule program p ← not ⁡ p {\displaystyle p\leftarrow \operatorname {not} p} has no stable models.
Програма з одного правила p ← not  p {\displaystyle p\leftarrow {\hbox{not }}p} не має стійких моделей.