Note that the above example uses true mathematical negation, which cannot be expressed in Prolog.
Зауважте, що наведений вище приклад використовує справжнє математичне заперечення, що не може бути виражено в Пролозі.