UNIVERSIDAD TECNOLOGICA DE PEREIRA

FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

Asignatura Programacin III

Cdigo IS453

Crditos 3

Intensidad semanal 4 Horas

Requisitos IS284

Se hace necesario para todo profesional en informtica tomar por lo

menos un curso de programacin lgica, sustentado en el hecho que
hace parte primordial del paradigma declarativo(funcional+lgico),de
manera que complemente su formacin junto con los dems
Justificacin paradigmas, aportando adems herramientas necesarias para abordar
las ciencias computacionales desde una perspectiva de razonamiento
humano y as poder abordar muchas reas de la computacin formal y
aplicada como la inteligencia artificial.

- Conocer los fundamentos de la programacin lgica.

- Resolver problemas por medio de la programacin lgica.

Objetivo general
- Aplicar tcnicas de programacin con restricciones.

- Aplicar las tcnicas de la programacin lgica en un lenguaje.

- Estudiar los conceptos de la programacin lgica y ponerlos en

prctica en un lenguaje lgico .

- Estimular en el estudiante la solucin de problemas desde una

perspectiva del paradigma lgico.

- Estudiar el uso de las restricciones en programacin como

Objetivos modelo formal de computacin.
Especficos
- . Construir una aplicacin para resolver un problema en
particular usando las tcnicas estudiadas.

- Manejar un entorno de programacin Lgico (sugerido: SWI

PROLOG).

Metodologa El curso se dictar con base en clases magistrales y con el apoyo de

 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

recursos multimedia cuando ello convenga. Adems, se realizarn

prcticas en computadora para dar solidez a los temas vistos en clase.

Dentro del esquema de formacin integral del ser humano, el profesor

podr traer temas y ayudas que le permitan al estudiante reconocer la
historia de la ciencia y la responsabilidad de la tecnologa frente a la
sociedad. Estos temas y ayudas se presentaran a discrecionalidad del
profesor

- Aprendizaje autnomo.

- Capacidad de anlisis y sntesis.

Competencias - Capacidad de aplicarlos conocimientos a la prctica.

Genricas - Resolucin de problemas.

- Trabajo individual y por parejas.

- Comunicacin oral y escrita.

Cognitivas(Saber):

- Idioma.

- Matemticas.

-Nuevas tecnologas TIC.

- Conocimientos de informtica.

- Procedimentales/Instrumentales(Saber hacer):
Competencias
- Redaccin en interpretacin de documentacin tcnica.
especficas
- Estimacin y programacin del trabajo.

- Planificacin, organizacin y estrategia.

- Actitudinales(Ser):

- Calidad.

- Toma de decisin.

- Capacidad de iniciativa y participacin.

Estrategias de - Clases de teora

aprendizaje
- Exposiciones sobre trabajos de casos prcticos.
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

- Tutoras colectivas de teora

- Clases de prcticas

- Correccin de las prcticas

- Tutoras colectivas de prcticas

- Tutoras individualizadas

Contenido de la asignatura

1. Programacin Lgica
1.1 Introduccin
1.2 Fundamentos de la Programacin Lgica
1.2.1 Lgica de Primer Orden
1.2.2 Interpretaciones y Modelos
Unidad 1 1.2.3 Unificacin
1.2.4 Algoritmos de Bsqueda y Resolucin
1.3 Lenguajes Lgicos
1.3.1 Prolog
1.3.2 CLIPS
1.3.3 Eclipse

2. Programacin con Restricciones

2.1 Introduccin
2.2 Fundamentos de la Programacin con Restricciones
2.2.1 Restricciones
2.2.2 Simplificacin, Optimizacin e Implementacin
2.2.3 Restricciones de Dominio Finito
Unidad 2 2.3. Programacin Lgica con Restricciones
2.3.1 Introduccin
2.3.2 Modelamiento Simple
2.3.3 Controlando la bsqueda
2.3.4 Modelando con Restricciones de Dominio Finito
2.3.5 Tcnicas avanzadas
2.4 Sistemas PLC

3. Programacin Multi-Agentes
3.1 Introduccin
3.2 Sociedades de Agentes
Unidad 3 3.3 Arquitectura Fundamental de Agentes
3.4 Algoritmos de Bsqueda
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

3.5 Teora de Juegos

3.6 Comunicacin entre Agentes
3.7 Modelamiento del Mundo
3.8 Aplicaciones

4. Ejemplos de Aplicaciones de la programacin lgica.

Unidad 4 4.1 Programacin Lgica y Gramticas.
4.2 Programacin Lgica y Sistemas Expertos.
4.3 Programacin Lgica y Bases de Datos.

Evaluacin Porcentaje

Parcial 1 20%

Parcial 2 20%

Talleres 20%

Exmen final 20%

Proyecto 20%