Notación formalizada para la representación de árboles de seguimiento de algoritmos en Prolog

Abstract

En el siguiente artículo se presenta un método de diseño y representación formal de árboles de ejecución de programas lógicos escritos en Prolog. Este método se ha aplicado con éxito en el desarrollo de ejercicios en una asignatura de programación declarativa que se imparte en tercer curso de Ingeniería Técnica en Informática de Gestión en la Universidad de Huelva. Además, se ha desarrollado una herramienta que permite generar automáticamente estos árboles de ejecución con la notación formalizada para la comprobación sencilla de ejercicios que consistan en un seguimiento del funcionamiento de código fuente escrito en Prolog.