Exercice 1 : On suppose que BR est soumise à un moteur d'inférences
correspondant à une implémentation du chaînage avant, évaluant les règles
dans leur ordre d'écriture, sans gestion de la négation. ... avec la négation "par l'
échec" (en déclenchant une phase de chaînage arrière lorsqu'une négation doit
être évaluée). 
