A Literate Logic Programming System

Pierre DeransartPatrick ParotRoberto S. BigonhaMariza A. S. BigonhaJosé de Siqueira

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. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: