Estructura

Una experiencia del uso de Prolog en la resolución de problemas
Jorge A. Peri, Daniela L. Godoy jperi@mail.unlu.edu.ar, godoyd@mail.ing.unlpam.edu.ar Universidad Nacional de Luján, Departamento de Ciencias Básicas, División Estadística y Sistemas Casilla de correo 221 (6700). Luján. Buenos Aires. República Argentina Universidad Nacional de La Pampa. Facultad de Ingeniería. Departamento deInformática Calle 9 esq. 110. General Pico. La Pampa. República Argentina.

RESUMEN Una tarea fundamental de los profesionales informáticos es la de resolver problemas basados en computadora. Al mismo tiempo que atañe a la informática como ciencia el construir herramientas capaces de resolver nuevos problemas a partir de abstracciones de los métodos de resolución mayoritariamente empleados. Sin embargoestudiantes de carreras afines a la informática reciben durante gran parte de su formación un único paradigma de programación, el procedural, por lo que al momento de resolver situaciones problemáticas disponen sólo de una estrategia de resolución, esta consiste en crear una secuencia de instrucciones que ejecutadas en el orden propuesto resuelvan el problema planteado. Es el objetivo de estetrabajo describir una experiencia realizada con estudiantes de sistemas, durante la cual se les presentó una serie de acertijos [5] motivando la posibilidad de encontrar una solución a los mismo a través de un paradigma puramente lógico, particularmente a través del lenguaje Prolog. Estudios comparativos entre ambos paradigmas [1,6,7], producidos en base a experiencias de aplicación simultanea deellos, han revelado que las dificultades de los estudiantes en la utilización de Prolog proviene de diseñar la solución al problema en términos de estructuras propias del paradigma procedural, como if, while, repeat, etc., y no encontrar al momento de la implementación, primitivas Prolog para traducir dichas estructuras. Con la inclusión de este tipo de problemas se pretende clarificar lassituaciones en las cuales un paradigma es más apropiado que otro para la resolución de un problema, de manera que se enfoque el proceso de diseño de la solución de la forma más adecuada. INTRODUCCION La resolución de problemas basados en computadoras involucra la cumplimentación de una serie de faces como son el análisis del problema, diseño de la solución, implementación, prueba y depuración. Un trabajocomparativo entre el paradigma lógico de resolución de problemas y el procedural en cada una de estas faces realizado por van Someren [7], demuestra que la naturaleza del proceso de diseño es diferente para cada uno de estos enfoques. Desde el punto de vista procedural el diseñar la solución a un problema consiste construir un algoritmo y elegir la estructura de datos adecuada que den solución alproblema planteado.

El diseño puede verse entonces, dentro de este paradigma, como una tarea de planeamiento. El programador construye un plan detallado que, al ser ejecutado paso a paso por la computadora, conduce desde los datos de entrada hacia los datos de salida. El objetivo de la construcción de este plan es descomponer el problema en subproblemas de menor complejidad que puedan serabordados individualmente. De manera que, obtener la solución al problema global, no es más que combinar las soluciones obtenidas para problemas relativamente simples y bien definidos. En este proceso se encuentra implícita la selección de una estrategia que organice el plan y conduzca la construcción del mismo hacia el objetivo planteado. Como resalta van Someren en el trabajo antes mencionado, la ideade plan no es tan útil con lenguajes de programación lógica. Lenguajes de este tipo, como Prolog, no disponen de primitivas que se correspondan con los bloques de construcción de un plan. A diferencia de los lenguajes imperativos en donde todo puede traducirse a una combinación de estructuras de secuencia, selección y repetición. La fase de diseño dentro del paradigma lógico, a diferencia del...