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 divide the second step into two parts: constructing a typed logic description and converting it into a non-typed logic description.

Results: The paper outlines the design of a tool to support the methodology. The tool is designed to help students learn logic programming and to provide another opportunity for the development of CASE tools for this paradigm.

Implications: The tool could potentially make logic programming more accessible to novice programmers and students, and could lead to the development of more sophisticated tools for program development. It also contributes to the ongoing effort to bring software support to logic program development.

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