Английский ⇄ Английский Греческий Датский Испанский Итальянский Немецкий Нидерландский Португальский Русский Финский Французский Шведский +

negation-as-failure ударения
прогр.	отрицание как неудача (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn)
Английский тезаурус
Negation As Failure
бизн., сокр.	NAF