Gustavo A. Ospina

Title: Gustavo A. Ospina

Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology?

Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors add a type system and the notion of typed logic description to the methodology, allowing for the translation of typed logic descriptions to typed logic languages.

Results: The authors present a specification template and a type system to support the construction of logic programs. They also provide a design for a tool that can help students learn logic programming and potentially be used in an industrial context.

Implications: The development of this tool can facilitate the learning of logic programming and potentially lead to more sophisticated tools for program development. It also contributes to the ongoing efforts to bring software support to logic program development.

Link to Article: https://arxiv.org/abs/0111041v1 Authors: arXiv ID: 0111041v1