Le langage Prolog : unification et résolution, sémantique déclarative et opérationnelle, contrôle et backtracking, grammaires logiques, recherche en profondeur et en largeur, prédicats d'ordre supérieur, méta-programmation, programmation logique orientée-objet, programmation logique distribuée.

Liste des cours INFO