Primer parcial (Paradigma de Programación Declarativa, lengs.Haskell-Prolog):
viernes 30/9, 10 hs. Aula 42, Bloque I.
Recuperación:
viernes 7/10, 10 hs. Aula 42, Bloque I.
lunes, 19 de septiembre de 2016
Semana 19-23 de septiembre
Esta semana se terminará el practico/Laboratorio de Prolog. Para el viernes completar la lectura del apunte. Se agrega bibliografía extra sobre los temas CORTE y NEGACION!!.
viernes, 9 de septiembre de 2016
Laboratorio Prolog
Para regularizar y/o aprobar la materia, debe presentarse un Trabajo en lenguaje Prolog (Laboratorio).
El laboratorio debe ser desarrollado de manera individual.
Laboratorio Prolog 2016: Práctico 2016
Una vez terminado el laboratorio
Una vez terminado el laboratorio
- compactar (generar un zip) el folder: PIIIP2015_ApellidoyNombreAlumno
- enviarlo por mail a la cuenta: progUNSLCMN@gmail.com, en el tema se deberá colocar: PIIIP2016_ApellidoyNombreAlumno
La fecha límite para hacer el envío es el viernes 30/9!
Lenguaje Prolog
La forma sugerida por la Cátedra de abordar el estudio del lenguaje Prolog es la siguiente:
- leer el apunte denominado Introducción, que describe brevemente los fundamentos matemáticos y los mecanismos fundamentales del lenguaje Prolog.
- Usar el Apunte Gral como guia de estudio. Profundizar cada tema con bibliografia extra.
Programación Lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación basada en restricciones,programas DSL (de dominio específico) e híbridos. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.
La programación lógica implica forzosamente al uso de hechos y relaciones para representar la información y al de deducciones para responder a consultas. Las consultas permiten conocer informaciones sobre las relaciones. Estos dos aspectos reflejan una división de labores entre los programadores y un lenguaje para la programación lógica. El programador proporciona las reglas y los hechos, mientras que el lenguaje usa la deducción para dar respuesta a consultas. Esta división de labores es usualmente representado por la ecuación: algoritmo = lógica + control
El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre programación con restricciones), que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis.
EcuRed: Programación lógica
Wikipedia: Programación lógica
La programación lógica implica forzosamente al uso de hechos y relaciones para representar la información y al de deducciones para responder a consultas. Las consultas permiten conocer informaciones sobre las relaciones. Estos dos aspectos reflejan una división de labores entre los programadores y un lenguaje para la programación lógica. El programador proporciona las reglas y los hechos, mientras que el lenguaje usa la deducción para dar respuesta a consultas. Esta división de labores es usualmente representado por la ecuación: algoritmo = lógica + control
El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre programación con restricciones), que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis.
EcuRed: Programación lógica
Wikipedia: Programación lógica
Suscribirse a:
Entradas (Atom)
