Implementación de los mecanismos de búsqueda para la nueva máquina virtual de Mozart

La programación por restricciones presenta estrategias de solución a problemas de optimización y combinatorios. La estrategia general para su uso es mediante la especificación de las variables del problema y las relaciones (restricciones) que entre ellas se deben mantener. Después de dicha especificación el usuario hace uso de motores de búsqueda predefinidos que se encargan de recorrer el espacio de soluciones del problema. Gecode es un componente de software que implementa el paradigma de programación por restricciones de manera eficiente. Sin embargo su utilización es compleja para usuarios por el lenguaje de programación. Oz es un lenguaje de programación inventado en la década de los 90 que soporta entre otros el paradigma de programación por restricciones. Debido a su concepción multiparadigma ha sido adoptado por una comunidad de investigación importante. Este lenguaje interpretado ofrece mejores abstracciones y provee un ambiente de trabajo más confortable. Su implementación, Mozart hasta ahora ha carecido de soporte en la adopción de los avances en la investigación en esta ´área. Por esta razón se ha diseñado una nueva máquina virtual con Gecode como motor de restricciones, para tomar ventaja de estos avances. En este documento se propondrán los mecanismos para la interacción de los motores de búsqueda implementados en Gecode con Mozart, como también los mecanismos que permitan al usuario implementar sus propios motores de búsqueda en Oz y utilizarlos. Esto es de gran importancia para los usuarios porque permitirá sacar ventaja del conocimiento que este posee sobre el problema obteniendo búsquedas más eficientes.PregradoINGENIERO(A) DE SISTEMA