FormationsMasterInformatiqueEnseignementsProgrammation logique

Master InformatiqueUE Programmation logique

Contenu

  • 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.

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 10 heures
  • Travaux dirigés : 10 heures
  • Travaux pratiques : 10 heures

LES FORMATIONS QUI UTILISENT CET ENSEIGNEMENT