Résolution de littéraux
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
literals resolved upon
in performing resolution, the two literals of opposite sign (one from each clause) that are unified and then removed in forming the result clause.
Contributeurs: Patrick Drouin, wiki
