Voici deux projets realises en Prolog:
- Compilation/Optimisation d'expressions arithmetiques
Le projet tel qu'il a ete rendu
Modification 1
Modification 2

- Fermeture transtive
Il s'agit d'utiliser les notions de classe d'equivalence pour trouver
quels sont les elements equivalents aux autres.
Source prolog