Dans le cadre du cours de Prolog à l'université de La Réunion, nous avons eu comme projet ,pour s'occuper pendant nos vacances, d'écrire en Prolog (nous avons choisi Sicstus Prolog):

1) Un interpréteur pour un langage fonctionnel minimal appelé LF, dont les structures de données primitives sont les entiers et les listes

2) Un compilateur LF vers Prolog.

Dans les différents menus on pourra accéder:
-Au code source de l'interpréteur et du compilateur.
-A un exemple de session: Pour illustrer les capacités des programmes.
-Au manuel utilisateur ou comment bien utiliser le programme.
-Au manuel concepteur ou comment comprendre les fonctions internes du programme pour pouvoir l'améliorer...
-Une synthèse afin de conclure sur les problemes recontrés et voilà!