Crédits ECTS Echange
3.0
Composante
UFR Sciences de l'Homme et de la Société (SHS), Département Informatique et Mathématiques Appliquées aux Sciences Sociales (IMSS)
Période de l'année
Printemps (janv. à avril/mai)
Description
: Ce cours présente les grandes lignes de la programmation logique et le langage de programmation Prolog :
- faits, règles, requêtes
- unification, parcours de résolution
- listes
- programmation avec et sans accumulateur
- coupure (cut)
- création dynamique de faits et règles
- arbres et grammaires en Prolog
- débogage
- fondements logiques (prédicats, clauses, principe de résolution)
Objectifs
Maîtriser les techniques de la programmation logique
Heures d'enseignement
- Programmation logique - TPTP12h
- Programmation logique - TDTD9h
- Programmation logique - CMCM9h
Période
Semestre 4