|
HyperPro
Environnement
de Programmation en logique
Une
approche hypertexte
- Introduction
La mise au point de programmes logiques, et ceci vaut également
pour la programmation en logique avec contraintes, nécessite des
environnements de programmation adaptés. Une des originalités
de la programmation en logique est que des programmes partiellement
définis sont aisément testables et que par ailleurs la rédaction
de la documentation et la validation peuvent être étroitement
imbriquées. La documentation exécutable repose sur l'adaptation
de l'idée initiale de Knuth du WEB (rien à voir ici avec le WWW)
qui s'est avérée trop rigide pour une adaptation aisée à la programmation
en logique. Rappelons que l'idée est de rédiger un document de
type latex à partir duquel le programme exécutable peut être
extrait ainsi qu'un fichier .tex qui permet d'obtenir le document
complet. Ultérieurement l'approche noweb a été proposée par
Ramsey. Celle-ci, plus souple, permet d'utiliser l'idée WEB
relativement aisément et est déjà utilisée industriellement, mais
elle ne contient pas les possibilités offertes par la rédaction
de documents dans un cadre hypertext. Partant de ces observations,
nous avons réalisé (en collaboration avec le DCC
de l'Université Fédérale de Minas Gerais - Brésil)
un système expérimental baptisé HyperPro. Ce prototype repose
sur l'utilisation de l'éditeur de documents structurés :
Thot
(développé par l'équipe du projet Opéra de l'INRIA à Grenoble).
- Objectifs
Veuillez consulter la version PostScript du cahier
des charges.
- Un
avant goût
En attendant une version exécutable via le web, voici une
copie d'écran de la
version actuelle.
|
