exercice 2 :
1. Résoudre le problème suivant par chaînage avant :
Base de règles :
| Base de faits initiale :
|
On cherche à démontrer C
2. Résoudre le problème suivant par chaînage arrière :
Base de règles :
| Base de faits initiale :
|
On cherche à démontrer C
3. Résoudre le problème suivant par chaînage arrière avec "backtracking" :
Base de règles :
| Base de faits initiale :
|
On cherche à démontrer C