8. Acquis et points de vigilance
À l’issue de la semaine, pouvoir :
- expliquer la continuité entre représentation logique, clauses, résolution et Prolog;
- produire une substitution cohérente, distinguer un échec structurel d’une erreur d’évaluation et choisir le sens d’égalité approprié;
- identifier le cas de base, le sous-problème récursif et ce qui progresse à chaque appel;
- dérouler la recherche dans le graphe, comprendre le retour arrière et respecter le contrat des relations généalogiques;
- décomposer une liste, expliquer les trois prédicats reconstruits et utiliser les différents modes illustrés;
- construire les quatre solutions d’exercices en conservant le type du résultat, les conditions et l’ordre des buts;
- vérifier une variante avec des cas représentatifs, en respectant les restrictions explicites d’un énoncé.
Pour diagnostiquer un résultat surprenant, contrôler d’abord le contrat, l’ordre des arguments, les liaisons partagées, la base, puis l’ordre des buts. L’incohérence d’ancêtre est une erreur de convention; la couleur Y partagée est une contrainte supplémentaire; is trop tôt est une erreur d’instanciation. Ces causes demandent des corrections différentes.
Une base ne garantit pas seule la terminaison. Un singleton est un avertissement, pas nécessairement une faute de logique. Une liste peut contenir des doublons et des sous-listes; sa longueur compte le niveau externe. [], le nombre 0 et la clause vide de la preuve logique jouent des rôles distincts.
La vidéo propose, à titre facultatif, d’adapter les schémas à une union, une suppression d’élément ou une suppression par position. Elle conseille aussi d’essayer une définition imparfaite, isoler un cas qui échoue, comprendre pourquoi puis corriger. Ces suggestions ne constituent pas de nouveaux exercices à remettre. La difficulté annoncée pour l’examen reste celle de petits exemples; les commentaires sur la correction ne garantissent ni un barème précis ni un résultat individuel.
L’absence de types statiques déclarés dans ces programmes laisse les termes hétérogènes s’unifier selon leur structure. Elle ne rend pas tous les appels valides : les exigences numériques de is et des comparaisons continuent de s’appliquer.