Literate Logic Programming

The HyperPro Project  (1994-2002)
(1994-2002
HyperPro was a (Logic Programming Environment) based on on a text editor (the Thot system) allowing  managing code and comments with the use of many synchonized views, several exportations capabilities (text, html, latex...) and applications (testing,  proving, spell checker, ...).
This project has been defined and realized with people from University of Orléans (LIFO), University of Minas Gerais (UFMG, Brazil) and ProloGIA.


The HyperPro Team

On the picture: AbdelAli Ed-Dbali, Pierre Deransart, Flávia, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha, José de Siqueira :
Other participants: Touraïvane (PrologIA, 1994), Patrick Parot (INRIA, 1995-1996), Khalid El Khorchi (LIFO, 1999-2002)
HyperPro - An integrated documentation environment for CLP. WLPE 2001  (.ps, 2Mo)

Short retrospective  (January 2009)  (.ppt 17Mo)