Ce cours présente le paradigme de la programmation relationnelle, basé sur la programmation logique par contraintes (CLP), depuis ses fondements en logique du premier ordre (FOL) faisant de la programmation essentiellement une tâche de modélisation utilisant des variables et des relations mathématiques, vers ses diverses applications en IA symbolique, bases de données déductives, représentation des connaissances, résolution de problèmes, optimisation combinatoire, démonstration automatique de théorèmes, et traitement du langage naturel.
CSC_3F007_EP - Relational programming (2025-2026)
Options d’inscription
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.
