Unité d'enseignement
ENSINAU6 :
« Programmation logique »
Description
Crédits : 3
Semestre : S1
Cours/TD/TP : 10h/10h/10h
Résumé :
- Introduction. Forme générale des règles. Effacement, unification, backtracking. Contrôle de l'exécution.
- Listes, arbres et n-uplets. Liste représentée par différence de listes. Ajout en tête et en queue, concaténation.
- Analyseurs syntaxiques. Construction d'un arbre syntaxique. Liste des feuilles d'un arbre. Freeze et analyse par feuille.
- Règles prédéfinies.