On the Design of a Tool for Supporting the Construction of Logic Programs

Gustavo A. Ospina, Baudouin Le Charlier

Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods…