Négation par l'échec
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
negation as failure
in a logic programming language such as Prolog, accepting a negative conclusion as true if its positive version cannot be proved, e.g., concluding that a man does not have a wife if no wife can be found. cf. closed world assumption.
Contributeurs: Imane Meziani, wiki, Sihem Kouache
