A Literate Logic Programming System

Pierre Deransart, Patrick Parot
INRIA, France

Roberto S. Bigonha, Mariza A. S. Bigonha, José de Siqueira
UFMG.

The purpose of this paper is to present an experimental hypertext programming environment for PROLOG based dialects and its application to some logic program development according to a logic programming methodology. The genericity 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. The proposed tool permits to record all the experiences accumulated during the life cycle of a software.

.