Programación lógica y funcional.Caso práctico

[pic 1][pic 2][pic 3][pic 4][pic 5][pic 6][pic 7][pic 8]

INGENIERÍA EN SISTEMAS

 COMPUTACIONALES

Materia:[pic 9]

Programación lógica y funcional.

Semestre - Grupo - Sistema:

7o. Semestre – “A” – Escolarizado.

Producto Académico:

Caso práctico.

Presenta(n):

Toriz Ceballos Jonathan-166Z0544

Sánchez santos maría Isabel-166Z0540

Sánchez Ruiz Jair-166Z0539

Docente:

Fernando Mayorga Guittins.

              Medellín de Bravo, Ver. 17 de octubre 2019[pic 10][pic 11]

INTRODUCCIÓN

Las herramientas de depuración representan un método declarativo de respuestas computadas incorrecta, el propósito es el de conseguir una combinación natural de aproximaciones previas que han sido desarrolladas por separado para el esquema y para los lenguajes de programación lógico funcionales perezosos. Daremos resultados teóricos que demuestran que el método de depuración propuesto es lógicamente correcto para cualquier sistema de resolución de objetivos en el esquema cuyas respuestas computadas sean consecuencia lógica del programa en el sentido de la semántica. Presentaremos un método para la diagnosis declarativa de respuestas computadas incorrectas en cualquier sistema admisible de resolución de objetivos para CFLP(D). Finalmente, describiremos la herramienta de depuración DDT, incluiremos también las demostraciones de los principales resultados que se han obtenido. La distribución pública del sistema de programación lógica funcional TOY, el cual puede ser descargado en http://toy.sourceforge.net.

DESARROLLO

¿Cuál es problema que se pretende resolver?

Implementación del método de diagnosis para el dominio de restricciones R, el cual permite manejar restricciones aritméticas sobre números reales además de restricciones de igualdad y de desigualdad

¿Qué plataforma tecnológica (hardware y software) se utilizó?

La interfaz gráfica implementada en Java, DDT soporta dos estrategias diferentes para la navegación del CT durante una sesión de depuración. El lector interesado puede referirse para una mayor explicación del uso de la herramienta, una discusión sobre la implementación y su ciencia, y una colección de programas incorrectos

...