The built-in Prolog predicate \+/1 provides negation as failure, which allows for non-monotonic reasoning.
Вбудований предикат Прологу \+/1 забезпечує заперечення як відмову, що уможливлює немонотонну аргументацію.