Year: 2021
Type: dissertation
Abstract: Las múltiples implementaciones de Prolog son una parte fundamental de desarrollo de la programación lógica a lo largo del tiempo. Mientras algunas implementaciones están abandonadas y sin mantenimiento, otras se mantienen constantemente actualizadas. Las implementaciones de Prolog son la respuesta a las distintas necesidades dependiendo de si, por ejemplo, estamos trabajando en un entorno comercial donde se podría priorizar la estabilidad o en un entorno de investigación, donde se podrían priorizar los avances en las capacidades y los usos del lenguaje.[1] La existencia de las distintas implementaciones de Prolog provoca que existan distintas interfaces y características dependiendo de con cual trabajemos. Para aliviar este problema y tener un Prolog core común se creó el estándar ISOProlog, el cual incluye una serie de características que todas las implementaciones de Prolog (que sigan el estándar) siguen la misma notación y características. Sin embargo, cada implementación puede tener otras características no incluidas en este estándar. El objetivo de este Trabajo de Fin de Grado es unificar distintas implementaciones de Prolog bajo una interfaz única (top-level de Ciao) para ser capaces de ejecutar test y ejecutar programas sobre las distintas implementaciones. Para demostrar el potencial de esta distribución unificada, vamos a presentar una serie de resultados de los diferentes test realizados bajo la distribución en cada sistema.---ABSTRACT---The multiple implementations of Prolog are a fundamental part of the development of logic programming over time. While some implementations are abandoned and without maintenance, others are constantly updated. Prolog implementations are the answer to different needs depending on whether, for example, we are working in a commercial environment that can prioritize stability or in a research environment, which can prioritize advancement in the capabilities and uses of the language.[1] The existence of these different implementations causes us to have different interfaces and characteristics depending on the implementation with which we are working. To alleviate this problem and have a common Prolog core the ISO Prolog standard was created, which includes a series of features that all Prolog implementations (which follow the standard) follow the same interface. However, each implementation may have different characteristics that are not included in this standard. The objective of this final degree project is to unify different Prolog implementations under a single interface (Ciao Prolog top-level) to be able to carry out tests and program executions of different implementations in a single interface. To demonstrate the potential of this unified distribution, we are going to present a series of results from different tests performed on the distribution for each system.
Author: Moreno Rodríguez, Esteban
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7046824755