Solución de problemas de dominios finitos con restricciones en hojas de cálculo

Abstract

Las aplicaciones de hoja de cálculo se utilizan como herramienta para el manejo de
volumenes grandes de datos en estructura tabulada. Estas herramientas que se usan
para diversas tareas, entre ellas la organización y representación de información. En
su concepción básica proveen de una herramienta potente a sus usuarios pero aun así
se podrían extender dotandolas de mucha más capacidad prestando atención a los
problemas concretos que sus usuarios representan en ella, creando módulos que
facilitarían la resolución de esos problemas.
En esta tesis de proyecto final de carrera se propone la extensión de la funcionalidad
de las hojas de cálculo para resolver problemas de dominios finitos. El objetivo es
proveer al usuario con la capacidad de resolver típicos problemas de dominios finitos
en el dia a dia, como puede ser la organización de un horario escolar, de forma que
estableciendo una serie de restricciones en lenguaje lógico la hoja proporcione una
solución posible.
Para alcanzar esta meta se ha definido un pseudo lenguaje lógico para modelar los
problemas de dominios finitos, un compilador para traducir estos modelos a código
prolog, y algunos métodos predefinidos para ayudar al usuario. El resultado es un
programa java, el cual interactúa con el motor de inferencia de Ciao Prolog con la
extensión CLP(FD), es decir, soportando restricciones sobre dominios finitos, y que
puede ser conectado a diversas interfaces de usuario como podrian ser una aplicacion
de hojas de calculo o un servicio web como las Hojas de calculo de Google.