negation-as-failure

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

אנגלית אוצר מילים

Negation As Failure