"Un lenguaje de programación con tipos abstractos interpretados en Prolog: otra forma de compilar"

• Autores: Isidro Ramos Salavert
• Localización: Revista de informática y automática, ISSN 0210-8712, Año 17, Nº. 60, 1984, págs. 30-33
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    Cobran interés cada vez más en Programación, lenguajes imperativos que sean herramienta de expresión del problema que queremos resolver y no de la forma como queremos resolverlo. Ideas ya clásicas, como el uso de cláusulas de Horn como lenguaje de programación (Prolog) (1), han perdido su aire académico y condicionan ya, no sólo el software (entornos de programación y su especificación, B.D. relacionales) sino también el hardware (la llamada 5ª generación de ordenadores).

    Este trabajo es una síntesis, en forma de un lenguaje de programación "clásico" (con tipos abstractos como parte declarativa y con términos no interpretados del álgebra (que es el tipo abstracto) como parte imperativa) y la programación mediante cálculo de predicados de primer. orden (Programación lógica: Prolog).

    El lenguaje presentado es una maqueta, así como su traductor asociado. No obstante, la realización "industrial" de un prototipo se apoya en técnicas suficientemente difundidas como para ser motivo de presentación de este trabajo.

  • English

    A translation forms abstract data types to Prolog predicates is given. The procedure presented allows a interpretation of data type terms into the free algebra.

    A conversational systems is presented implementing term rewriting by the use of equational axions.

    A programming aid, the system accepts as imput a data type declaration and a term (imput program) and produces as output a objet program in Prolog. A Prolog interprter finally gives the canonical normal form of the input term as output