Différences

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

Lien vers cette vue comparative

Prochaine révision
Révision précédente
enseignement:tp:chr2014 [2015/02/04 08:09]
ecoquery créée
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 ====
Ligne 57: Ligne 57:
 </code> </code>
  
 +<note tip>
 +**Exemple**
 +
 +La contrainte suivante:
 +<code prolog>
 +unif(funct (plus , [ var(x), funct(plus, [var(x), const(b)]) ] ),
 +     funct(plus, [ funct(plus, [const(a), var(y)]), var(z) ] ) )
 +</code>
 +doit se transformer en:
 +<code prolog>
 +unif(var(x), funct(plus, [const(a), var(y)]) ),
 +unif(var(z), funct(plus, [funct(plus, [const(a), var(y)]), const(b) ] ) )
 +</code>
 +</note>
 ===== Typage ===== ===== Typage =====