1. Progression et objectifs
La semaine clôt le bloc logique des semaines 5 à 7. Après la représentation des connaissances, les règles d’inférence et la résolution-réfutation, Prolog montre comment un moteur peut chercher une preuve à partir de faits, de règles et d’un but. Le nouvel apport est surtout la récursion, puis son application aux listes.
Le parcours relie quatre tâches :
- traduire un texte en logique propositionnelle ou en calcul des prédicats;
- inférer de nouveaux énoncés par équivalences et règles;
- établir une conséquence par résolution-réfutation en forme clausale;
- écrire et interroger de petits programmes Prolog utilisant faits, règles et unification.
La vidéo de présentation, enregistrée le 13 octobre après le congé du lundi, insiste sur un objectif de compréhension : savoir appliquer et adapter les exemples, sans devenir spécialiste avancé de Prolog. L’enseignante annonce un petit prédicat récursif à programmer à l’examen, d’un niveau ne dépassant pas celui des exemples et exercices. Elle distingue les points de syntaxe et de logique, sans donner ici leur répartition numérique. Une faute syntaxique ne rend donc pas automatiquement toute la démarche sans valeur; pour exécuter le programme, il faut néanmoins une syntaxe correcte.
La page d’information demande d’associer diaporama et vidéo; la mise en pratique demande de réaliser les exercices et vérifier les solutions. La fiche des formalismes sert ensuite à organiser des connaissances déjà comprises. Les indications de préparation annoncées pour la semaine 08 restent une annonce extérieure au corpus de cette semaine.