Anglais ⇄ Allemand Anglais Danois Espagnol Finnois Français Grec Italien Néerlandais Portugais Russe Suédois +

negation-as-failure contraintes
progr.	отрицание как неудача (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn)
Anglais glossaire
Negation As Failure
entr., abrév.	NAF