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