Programmation logique

Diplômes intégrant cet élément pédagogique :

: 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)

Maîtriser les techniques de la programmation logique

Lieu(x) : Grenoble
Langue(s) : Français

Catalogue des formations