previous up next contents
Précédent : Les langages de Remonter : Les langages de Suivant : Programmation logique :

La mise en oeuvre de Prolog

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 .