Participants : Florimond Ployette, Olivier Ridoux
Le système
Prolog
conçu à l'Irisa est organisé autour d'un compilateur. Ce
compilateur traduit les sources
Prolog en des programmes C. Il autorise la compilation
séparée. Nous travaillons actuellement à la mise en oeuvre d'un
interpréteur qui offre une interface d'utilisation similaire à
celle des interpréteurs de Prolog Standard. L'objectif est de
faciliter l'utilisation de
Prolog en mettant à disposition des outils
relativement standard. Cet interpréteur pourrait être utilisé
dans l'enseignement. De plus il fournira un banc d'essai en vraie
grandeur pour l'étude des techniques de méta-programmation en
Prolog .