A Hypertext Based Environment to Write Literate Logic Programs

Hyperpro is an experimental hypertext programming environment for Prolog based dialects and its application to logic program development methodology as defined in [1, 2, 3], It is built upon the Grif-Thot tool [4, 5], a powerful WYSIWYG structured editor that includes hypertext features. The gener-icity of the tool makes it easily adaptable to other logic programming languages and to other applications in the field of logic programs development, in particular to handle logic programs with constraints.