Resumen de Entorno de programación Lali implementado en Prolog

María Alpuente Frasnedo , Vicente J. Botti Navarro , Isabel Galiano Ronda , Emilio Sanchís Arnal , Francisco Vila Aparicio, Isidro Ramos Salavert

• español

  Los entornos de especificación permiten describir universos de forma declarativa dando lugar a sistemas que permiten deducir de ellos respuestas a preguntas que se les formulan. Un Universo estará formado por un conjunto de objetos, que modulizan la realidad en la que se plantea el problema, formalizados mediante tipos abstractos algebraicos (TAD) con axiomas ecuacionales, cuya semántica vendrá dada por el Álgebra inicial de términos. El trabajo consiste en la implementación de un Entorno de Especificación en el que todos los programas se expresan en forma declarativa (jerarquía de TAD) y las preguntas se realizan mediante términos no interpretados del Álgebra. Los términos evaluados en el Álgebra de términos (sin interpretar) usando las ecuaciones orientadas como reglas de reescritura, hasta dar como resultado un término ya no reescribible. Los objetos pueden jerarquizarse (vía importación/exportación de otros), los errores son tratados mediante el concepto de sub-sort, se aborda el problema de no finitud introducido por la commutatividad y se permiten ecuaciones condicionales. El sistema ha sido implementado en Prolog y es operativo sobre un IBM-PC modelo AT.

• English

  A specification environement allows to declareuniverses as question-answers systems. A universe is a set of objects that describe the reality where the problem is set. An object is an ADT (Abstract Data Type) with equational axioms such that the semantics is given in the intial word Algebra. This paper descibes the implementation of a specification environement, where the "programs" are expressed as a hierarquical set of objects and the question are terms of the Algebra. The terms are evaluated in the word Algebra using the equations as rewriting rules. The result is the last no-more rewritable term. A hierarquical definition of the objects is posible using import-export mechanism), the errors are considered via de sub-sort concept and the termination problem introduced by commutativity axioms is treated. The system allows conditional equations and has been implemented in Prolog on a IBM PC model AT.