Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
enseignement:tp:chr2014 [2015/02/04 08:18]
ecoquery [Unification simple]
enseignement:tp:chr2014 [2015/02/04 08:18] (Version actuelle)
ecoquery [Mini projet CHR]
Ligne 3: Ligne 3:
 Ce projet a pour objectif de construire un moteur d'unification typée pour des termes de logique du premier ordre dans le langage CHR au dessus de Prolog. Ce projet a pour objectif de construire un moteur d'unification typée pour des termes de logique du premier ordre dans le langage CHR au dessus de Prolog.
  
-Il est à rendre pour le 28 février par mail à [[emmanuel.coquery@univ-lyon1.fr]].+Il est à rendre pour le 28 février 2015 par mail à [[emmanuel.coquery@univ-lyon1.fr]].
  
 ==== Ressources ==== ==== Ressources ====