| French |
| has gloss | fra: La négation par léchec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle dinférence non monotone en programmation logique, utilisée pour la dérivation de not~p à partir de léchec de la dérivation de p. Cest une caractéristique importante de la programmation logique depuis les origines de Planner et de Prolog. En Prolog, la négation par l'échec est habituellement implémentée en utilisant les fonctionnalités non logiques du langage. |
| lexicalization | fra: Negation par l'echec |
| lexicalization | fra: négation par l'échec |
| Japanese |
| has gloss | jpn: 失敗による否定（しっぱいによるひてい、）は、論理プログラミングで使われる非単調論理的推論規則であり、p を導出することに失敗したとき \mathitnot}~p を自動的に導出することである。Planner や Prolog の初期から論理プログラミングの重要な機能となっている。Prolog では、論理構成要素の範囲外として実装されることが多い。 |
| lexicalization | jpn: 失敗による否定 |
| Dutch |
| has gloss | nld: Negatie als falen (NAF - Engels: negation as failure) is een interpretatie van de logische negatie waarbij de negatie van een formule waar is dan en slechts dan als niet afgeleid kan worden dat de formule waar is. Negatie als falen wordt gebruikt in logische programmeertalen zoals Prolog. Met behulp van negatie als falen kan niet-monotoon geredeneerd worden. Negatie als falen is gerelateerd aan de aanname van een gesloten wereld (closed world assumption) waarbij wordt aangenomen dat alles waarvan niet bekend is dat het waar is, onwaar is. |
| lexicalization | nld: negatie als falen |
| Portuguese |
| has gloss | por: Negação por falha é uma interpretação da negação lógica de acordo com a qual a negação de uma fórmula é verdadeira se e somente se a fórmula não pode ser provada verdadeira. A negação por falha é usada em linguagens de programação lógica como Prolog. Dessa forma em Prolog o compilador equipara a ausência de evidência com a evidência de ausência. |
| lexicalization | por: negação por falha |
| Chinese |
| has gloss | zho: 否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。 |
| lexicalization | zho: 否定为失败 |