Английский ⇄ Русский +

negation-as-inconsistency ударения
прогр.	отрицание как противоречие (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn)