Ci-dessous, les différences entre deux révisions de la page.
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' | Ce projet a pour objectif de construire un moteur d' | ||
- | Il est à rendre pour le 28 février par mail à [[emmanuel.coquery@univ-lyon1.fr]]. | + | Il est à rendre pour le 28 février |
==== Ressources ==== | ==== Ressources ==== | ||
Ligne 57: | Ligne 57: | ||
</ | </ | ||
+ | <note tip> | ||
+ | **Exemple** | ||
+ | |||
+ | La contrainte suivante: | ||
+ | <code prolog> | ||
+ | unif(funct (plus , [ var(x), funct(plus, [var(x), const(b)]) ] ), | ||
+ | | ||
+ | </ | ||
+ | doit se transformer en: | ||
+ | <code prolog> | ||
+ | unif(var(x), | ||
+ | unif(var(z), | ||
+ | </ | ||
+ | </ | ||
===== Typage ===== | ===== Typage ===== | ||