Précédent : Les langages de programmation logique Remonter : Les langages de programmation logique Suivant : Typage de Prolog
Précédent : Les langages de programmation logique
Remonter : Les langages de programmation logique
Suivant : Typage de Prolog
PrologParticipants : 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 finalisons
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 standards. Cet interpréteur
pourrait être utilisé dans l'enseignement. De plus, il fournit un
banc d'essai en vraie grandeur pour l'étude des techniques de
méta-programmation en Prolog.