Programmation Logique

Programmation Logique

- Introduction à la programmation logique : langage PROLOG

- Principales caractéristiques de ce type de programmation

- Syntaxe et structures de données – opérateur de coupure

- Sémantique des programmes PROLOG

- Le problème de la négation en PROLOG : l’hypothèse du monde clos et la négation par échec.

- Utilisation de la méthode de résolution dans l ‘implantation machine de ce type de langage.