Résolution de littéraux
Définition
En logique, lors de la résolution, deux littéraux de signe opposé (un pour chaque clause) sont unifiés puis supprimés lors de la formation de la clause résultante.
Français
règle de résolution des littéraux
résolution des littéraux
Anglais
literals resolved upon
Contributeurs: Patrick Drouin, wiki
