arXiv 2001-11-15 EN On the Design of a Tool for Supporting the Construction of Logic Programs Ospina, Gustavo A. · Charlier, Baudouin Le
