![](//s1.studylibfr.com/store/data-gzf/720592a427c7f8cd59a55659f0ccbf6d/1/010105079.htmlex.zip/bg4.jpg)
4
Nous avons et qui sont en commun. Cependant, ces deux termes ne
peuvent pas être unifiés. (Test d’occurrence)
Donc, il n’y a pas de facteurs pour cette clause.
2.
3.
4.
5.
Exercice N°8 :
: Deux littéraux complémentaires.
: Deux littéraux complémentaires
Echec, test d’occurrence
Il faut commencer par renommer
Il faut commencer par renommer