The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic.
Включення заперечення як відмови означає, що логічне програмування є свого роду немонотонною логікою.