TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin

Direccin de Docencia e Innovacin Educativa
1. Datos Generales de la asignatura
Nombre de la asignatura: Programacin Lgica y Funcional.

Clave de la asignatura: SCC - 1019

SATCA1: 2 - 2 - 4

Carrera: Ingeniera en Sistemas Computacionales.

2. Presentacin
Caracterizacin de la asignatura
El desarrollo de sistemas basados en computadora y la bsqueda de soluciones para problemas de
procesamiento de informacin s

La asignatura de Programacin Lgica y Funcional aporta al perfil del Ingeniero en Sistemas

Computacionales la capacidad de desarrollar habilidades para la generacin de soluciones
automatizadas basadas en lenguajes de inteligencia artificial, considerando el entorno y la aplicacin
de diversas tcnicas, herramientas y conocimientos.

Los programas para computadora actualmente son fundamentales en muchas reas del ser humano,
debido a que se usan para resolver diversos problemas en la ciencia, la industria y los negocios. Para
cubrir estas necesidades, se han desarrollado lenguajes de programacin dentro de la inteligencia
artificial. El Ingeniero en Sistemas Computacionales contribuir, aplicando estos conocimientos para
la solucin de problemas a travs de la programacin lgica y funcional, con una conciencia tica y de
respeto al medio ambiente.

La Programacin Lgica y Funcional, es una asignatura que requiere tener conocimientos esenciales
acerca de lenguajes de programacin estructurados y orientados a objetos as como el conocimiento
de las asignaturas de Lenguajes y Autmatas 1 y 2.
Esta asignatura aporta al perfil de la carrera de Ingeniera en Sistemas Computacionales los siguientes
elementos:
Implementa aplicaciones computacionales para solucionar problemas de diversos contextos,
integrando diferentes tecnologas, plataformas o dispositivos
Coordina y participa en equipos multidisciplinarios para la aplicacin de soluciones innovadoras
en diferentes contextos
Disea, implementa y administra bases de datos optimizando los recursos disponibles, conforme a
las normas vigentes de manejo y seguridad de la informacin
Desarrolla y administra software para apoyar la productividad y competitividad de las
organizaciones cumpliendo con estndares de calidad

Intencin didctica
La inteligencia artificial incluye varios campos de desarrollo tales como: la robtica, usada
principalmente en el campo industrial; comprensin de lenguajes y traduccin; visin en mquinas que

1
Sistema de Asignacin y Transferencia de Crditos Acadmicos

TecNM mayo 2016 Pgina | 1

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
distinguen formas y que se usan en lneas de ensamblaje; reconocimiento de palabras y aprendizaje de
mquinas; sistemas computacionales expertos, etc.

El temario est organizado en cuatro unidades y con una estructura lgica. En la primera unidad se
inicia con un acercamiento a los diferentes estilos de programacin y una comparacin entre ellos, con
la idea de que el estudiante desarrolle una visin de conjunto de los lenguajes de alto nivel y sirva
como marco de referencia a la metodologa de los lenguajes de inteligencia artificial, como lo son la
programacin lgica y funcional.

La unidad dos integra la programacin funcional, haciendo nfasis, al uso de nuevas metodologas
para que las actividades del estudiante vayan ms all de la intuicin y reflexin. Proporciona nuevas
habilidades, distintas a las desarrolladas en los paradigmas convencionales de la programacin.

Para las unidades tres y cuatro, se realizarn prcticas en los lenguajes simblicos y lgicos,
implementando algoritmos de juegos para aplicar los conceptos aprendidos en cada tema. Se
recomienda el desarrollo de un sistema experto bsico para la unidad cuatro; en la presentacin de cada
sistema es conveniente que el estudiante viva la aplicacin del mismo en el aula, con sus exigencias y
responda con profesionalismo y responsabilidad.

3. Participantes en el diseo y seguimiento curricular del programa

Lugar y fecha de
Participantes Evento
elaboracin o revisin

Representantes de los Institutos

Tecnolgicos de:

Alvarado, Arandas, Campeche,

Instituto Tecnolgico de
Saltillo del 5 al 9 de octubre
de 2009.
Celaya, Centla, Cerro Azul,
Champotn, Ciudad Acua, Ciudad
Cuauhtmoc, Ciudad Jurez, Ciudad Reunin Nacional de Diseo e
Madero, Ciudad Valles, Innovacin Curricular para el
Coatzacoalcos, Cocula, Colima, Desarrollo y Formacin de
Comitn, Durango, El Istmo, Competencias Profesionales de las
Huetamo, La Laguna, La Paz, Lzaro Carreras de Ingeniera en Sistemas
Crdenas, Lerdo, Libres, Linares, Computacionales, Ingeniera
Macuspana, Matamoros, Mrida, Informtica e Ingeniera en
Mexicali, Morelia, Nuevo Laredo, Geociencias.
Nuevo Len, Occidente del Estado
de Hidalgo, Ocotln, Orizaba,
Oriente del Estado de Hidalgo,
Parral, Piedras Negras, Pinotepa,
Saltillo, San Luis Potos, Sur de
Guanajuato, Sur del Estado de
Yucatn, Tapachula, Tepexi de

TecNM mayo 2016 Pgina | 2

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
Rodrguez, Teziutln, Tijuana,
Toluca, Tuxtepec, Veracruz,
Villahermosa, Xalapa, Zacatecas y
Zacatepec.

Representantes de los Institutos

Tecnolgicos de:

Alvarado, Arandas, Campeche,

Celaya, Centla, Cerro Azul,
Champotn, Ciudad Acua, Ciudad
Cuauhtmoc, Ciudad Jurez, Ciudad
Madero, Ciudad Valles,
Coatzacoalcos, Cocula, Colima,
Comitn, Durango, El Istmo, Reunin Nacional de Consolidacin de
Huetamo, La Laguna, La Paz, Lzaro los Programas en Competencias
Instituto Tecnolgico Crdenas, Lerdo, Libres, Macuspana, Profesionales de las Carreras de
Superior de Poza Rica del 22 Matamoros, Mrida, Mexicali, Ingeniera en Sistemas
al 26 de febrero de 2010. Morelia, Nuevo Laredo, Nuevo Computacionales, Ingeniera
Len, Occidente del Estado de Informtica e Ingeniera Petrolera del
Hidalgo, Orizaba, Oriente del Estado SNEST.
de Hidalgo, Parral, Piedras Negras,
Pinotepa, Saltillo, San Luis Potos,
Sur de Guanajuato, Sur del Estado de
Yucatn, Tapachula, Tepexi de
Rodrguez, Teziutln, Tijuana,
Toluca, Tuxtepec, Veracruz,
Villahermosa, Xalapa, Zacatecas y
Zacatepec.

Representantes de los Institutos

Tecnolgicos de:

Acayucan, Altamira, Cajeme, Reunin Nacional de Seguimiento

Campeche, Cananea, Cd. Acua, Cd. Curricular de los Programas en
Cuauhtmoc, Cd. Jurez, Cd. Competencias Profesionales de las
Instituto Tecnolgico de Madero, Cd. Valles, Celaya, Centla, Carreras de Ingeniera en Sistemas
Quertaro del 22 al 25 de Cerro Azul, Chetumal, Chihuahua II, Computacionales, Ingeniera
octubre de 2012. Chilpancingo, Coalcomn, Informtica e Ingeniera en
Coatzacoalcos, Cocula, Colima, Tecnologas de la Informacin y
Comalcalco, Delicias, Durango, Comunicaciones.
bano, Escrcega, Huixquilucan, La
Paz, Len, Lerdo, Los Ros,
Macuspana, Mante, Milpa Alta,
Minatitln, Morelia, Nuevo Laredo,

TecNM mayo 2016 Pgina | 3

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
Nuevo Len, Oaxaca, Oriente del
Estado de Mxico, Oriente del
Estado de Hidalgo, Pachuca, Piedras
Negras, Progreso, Puerto Vallarta,
Purhepecha, Tacmbaro, Tehuacn,
Tepexi de Rodrguez, Tepic,
Teposcolula, Teziutln, Tierra
Blanca, Tijuana, Tlaxiaco, Toluca,
Tuxtepec, Uruapan, Valladolid,
Veracruz, Villahermosa, Zacatecas,
Zacatecas Norte, Zacatepec,
Zapopan, Zitcuaro y Zonglica.

Representantes de los Institutos Reunin de Seguimiento Curricular de

Instituto Tecnolgico de Tecnolgicos de: los Programas Educativos de
Toluca, del 10 al 13 de
febrero de 2014. Cerro Azul, Colima, Lerdo, Toluca y Ingenieras, Licenciaturas y
Veracruz. Asignaturas Comunes del SNIT.

4. Competencia(s) a desarrollar
Competencia(s) especfica(s) de la asignatura
Conoce los principios lgicos y funcionales de la programacin para aplicarlos en la resolucin de
problemas.

5. Competencias previas
Implementa un compilador para un lenguaje especfico considerando las etapas del mismo.

TecNM mayo 2016 Pgina | 4

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
6. Temario

No. Temas Subtemas

1 Conceptos Fundamentales.
2 Modelo de Programacin Funcional.
3 Programacin lgica.
4 Modelo de programacin lgica.
1.1. Diferentes Estilos de programacin.
1.2.Analizando diferentes de estilos de
programacin
1.2.1 Evaluacin de expresiones.
1.2.2 Tipos de datos.
1.2.3 Disciplina tipos.
1.2.4 Funciones.
2.1 Introduccin al modelo de programacin
funcional.
2.1. El tipo de datos.
2.2. Funciones.
2.3. Intervalos.
2.4. Operadores.
2.5. Aplicaciones de las listas.
2.6. rboles.
2.7. Evaluacin perezosa.
3.1. Repaso de la lgica de primer orden.
3.2. Unificacin y resolucin.
3.3. Clusulas de Horn, resolucin SLD.
3.4. Programacin lgica con clusulas de Horn.
4.1 Introduccin al modelo de programacin
lgica.
4.2. Semntica de los programas lgicos.
4.3. Representacin clausada del conocimiento.
4.4. Consulta de una base de clusulas.
4.5. Espacios de bsqueda.
4.6. Programacin lgica con nmeros, listas y
rboles.
4.7. Control de bsqueda en programas lgicos
4.8. Manipulacin de trminos.
4.9 Predicados mitolgicos.

TecNM mayo 2016 Pgina | 5

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa

7. Actividades de aprendizaje de los temas

1. Conceptos Fundamentales.

Competencias Actividades de aprendizaje

Especfica(s): Visualizar los diversos estilos de la

programacin.
Identificar los paradigmas de los lenguajes Identificar los conceptos bsicos de los
de programacin. diferentes paradigmas de programacin.
Reconocer las caractersticas de los
Genricas: diferentes paradigmas de programacin.
Realizar mapa conceptual de los paradigmas
Capacidad de anlisis y sntesis. y lenguajes de la programacin
Capacidad de organizar y planificar. representativa.
Habilidad para buscar y analizar informacin
proveniente de fuentes diversas.
Solucin de problemas.
Toma de decisiones.
Trabajo en equipo.
Capacidad de aplicar los conocimientos.
Habilidades de investigacin.
Capacidad de generar nuevas ideas.
Liderazgo.
Habilidad para trabajar en forma.
Autnoma.
Bsqueda del logro.

2. Modelo de Programacin Funcional.

Competencias Actividades de aprendizaje

Especfica(s): Conoce el paradigma de la programacin

funcional.
Realiza una aplicacin dando solucin a un
Identificar los conceptos bsicos de la
problema del entorno usando el paradigma
programacin funcional.
de la programacin funcional.
Describir las caractersticas de la
Genricas: programacin funcional.
Reconocer la estructura y elementos de la
Capacidad de anlisis y sntesis. programacin funcional.
Capacidad de organizar y planificar.

TecNM mayo 2016 Pgina | 6

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
Habilidad para buscar y analizar informacin Investigar; al menos, un lenguaje de
proveniente de fuentes diversas. programacin representativa diferente al
Solucin de problemas. establecido para la materia.
Toma de decisiones. Realizar mapa conceptual de los lenguajes de
Trabajo en equipo. la programacin funcional vistos en la
Capacidad de aplicar los conocimientos. materia.
Habilidades de investigacin. Aplicar los conceptos de la programacin
Capacidad de generar nuevas ideas. funcional para resolver un problema real.
Liderazgo.
Habilidad para trabajar en forma.
Autnoma.
Bsqueda del logro.
3. Programacin Lgica.

Competencias Actividades de aprendizaje

Especfica(s): Identificar los conceptos bsicos de la

Conoce las ventajas y desventajas del
paradigma de programacin lgica.
Identifica los elementos de la programacin
lgica.
Genricas:
programacin lgica.
Describir las clusulas de Horn y resolucin
SLD, para identificar reglas de inferencia
lgica y emplearlas en la representacin del
conocimiento.

Capacidad de anlisis y sntesis.

Capacidad de organizar y planificar.
Habilidad para buscar y analizar informacin
proveniente de fuentes diversas.
Solucin de problemas.
Toma de decisiones.
Trabajo en equipo.
Capacidad de aplicar los conocimientos.
Habilidades de investigacin.
Capacidad de generar nuevas ideas.
Liderazgo.
Habilidad para trabajar en forma.
Autnoma.
Bsqueda del logro.
4. Modelo de Programacin Lgica.

TecNM mayo 2016 Pgina | 7

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa
Competencias Actividades de aprendizaje

Especfica(s): Reconocer los elementos de la semntica de

la programacin lgica para interpretar el
Realiza una aplicacin dando solucin a un conocimiento y aplicarlo en su
problema del entorno usando el paradigma representacin.
de la programacin lgica.
Investigar, al menos, un lenguaje de
Genricas: programacin lgica diferente al establecido
para la materia.
Capacidad de anlisis y sntesis. Realizar mapa conceptual de la
Capacidad de organizar y planificar. programacin lgica.
Habilidad para buscar y analizar informacin Aplicar la programacin lgica para resolver
proveniente de fuentes diversas. un problema real.
Solucin de problemas.
Toma de decisiones.
Trabajo en equipo.
Capacidad de aplicar los conocimientos.
Habilidades de investigacin.
Capacidad de generar nuevas ideas.
Liderazgo.
Habilidad para trabajar en forma.
Autnoma.
Bsqueda del logro.

8. Prctica(s)
Elaboracin de mapas conceptuales y/o mentales de la programacin lgica y funcional.
Desarrollo de programas funcionales con un grado creciente de complejidad, utilizando
herramientas de programacin funcional, que den solucin a problemas reales.
Desarrollo de programas lgicos con un grado creciente de complejidad, utilizando herramientas
de programacin lgica, que den solucin a problemas reales.
Disear y construir una base de conocimiento a travs de programacin funcional.
A partir de una situacin real, disear y construir una base de conocimiento a travs de
herramientas de sistemas expertos basado en programacin lgica.
Construir un sistema experto a partir de la base de conocimiento creada en programacin lgica.

TecNM mayo 2016 Pgina | 8

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa

9. Proyecto de asignatura
El objetivo del proyecto que plante el docente que imparta esta asignatura, es demostrar el desarrollo
y alcance de la(s) competencia(s) de la asignatura, considerando las siguientes fases:
Fundamentacin: marco referencial (terico, conceptual, contextual, legal) en el cual se
fundamenta el proyecto de acuerdo con un diagnstico realizado, mismo que permite a los
estudiantes lograr la comprensin de la realidad o situacin objeto de estudio para definir un
proceso de intervencin o hacer el diseo de un modelo.
Planeacin: con base en el diagnstico en esta fase se realiza el diseo del proyecto por parte de
los estudiantes con asesora del docente; implica planificar un proceso: de intervencin
empresarial, social o comunitario, el diseo de un modelo, entre otros, segn el tipo de proyecto,
las actividades a realizar los recursos requeridos y el cronograma de trabajo.
Ejecucin: consiste en el desarrollo de la planeacin del proyecto realizada por parte de los
estudiantes con asesora del docente, es decir en la intervencin (social, empresarial), o
construccin del modelo propuesto segn el tipo de proyecto, es la fase de mayor duracin que
implica el desempeo de las competencias genricas y especificas a desarrollar.
Evaluacin: es la fase final que aplica un juicio de valor en el contexto laboral-profesin, social e
investigativo, sta se debe realizar a travs del reconocimiento de logros y aspectos a mejorar se
estar promoviendo el concepto de evaluacin para la mejora continua, la metacognicin, el
desarrollo del pensamiento crtico y reflexivo en los estudiantes.

10. Evaluacin por competencias

Para evaluar las actividades de aprendizaje se recomienda solicitar: mapas conceptuales, reportes de
prcticas, estudios de casos, exposiciones en clase, ensayos, problemarios, reportes de visitas,
portafolio de evidencias y cuestionarios, cuadro sinptico.

Para verificar el nivel del logro de las competencias del estudiante se recomienda utilizar: listas de
cotejo, listas de verificacin, matrices de valoracin, guas de observacin, coevaluacin y
autoevaluacin.

TecNM mayo 2016 Pgina | 9

 TECNOLGICO NACIONAL DE MXICO

Secretara Acadmica, de Investigacin e Innovacin
Direccin de Docencia e Innovacin Educativa

11. Fuentes de informacin

Impresas:

1. Nilsson, n. J. (2001). Inteligencia artificial. Una nueva sntesis. Mc graw hill.

2. Poole, d., mackworth, a. Y goebel, r. (1998). Computational intelligence (a logical
Approach). Oxford university press.
3. Bratko, i. (1990). Prolog programming for artificial intelligence (2nd ed.). Addison
Wesley.
4. Mitchell, t. M. (1997). Machine learning. Mc graw hill.
5. Flach, p. (1994). Simply logical (intelligent reasoning by example). John wiley.
6. Bird, richard. (2000). Introduccin a la programacin funcional con haskell. Segunda
Ed. Prentice hall..
7. Fokker, jeroen. (1995). Programacin funcional. Universidad de utrecht,
Departamento de informtica.
8. Julian, p., alpuente, m. (2007). Programacin lgica. Teora y prctica. Pearson
Prentice hall.
9. Hogger, c. (1990). Essentials of logic programming. Clarendon press, oxford.
10. Bratko. (1991). Prolog programming for artificial intelligence. Segunda edicin).
Addison wesley.
11. Sterling & shapiro. (1994). The art de prolog. Mit.
12. Lucas, p. Y gaag, l.v.d. (1991). Principles of expert systems. Addisonwesley.
Electrnicas:
13. Garbusi Pablo. Diseo de compiladores. Obtenido de
http://www.fing.edu.uy/inco/cursos/compil/teoricos/01_Introduccion.pdf
14. Ortiz Trivio, Jorge Eduardo. Lenguajes Regulares. Obtenido de
http://www.youtube.com/watch?v=2caZNHXsj88
15. Cubur, Alex. Expresion Regular a DFA en JFlap. Obtenido de
http://www.youtube.com/watch?v=S6y0Wu_qp6I
16. Bonelli, Eduardo. Resolucin SLD y PROLOG. 2006. Obtenido de http://www-
2.dc.uba.ar/materias/plp/20062C/download/clase10.pdf
17. Gallardo, Jos, Gutirrez, Paco, Ruz, Blas. Tomado de: Hudak, Paul, Peterson, John, Fasel,
Joseph. A gente introduction to Haskell Version 98. 2001. Obtenido de
http://www.lcc.uma.es/~blas/pfHaskell/gentle/
18. Gallardo, Jos, Gutirrez, Paco, Ruz, Blas. Tomado de: Hudak, Paul, Peterson, John, Fasel,
Joseph. A gente introduction to Haskell Version 98. 2001. Obtenido de
http://www.lcc.uma.es/~blas/pfHaskell/gentle/
19. Juganaru, Mihaela. Lenguaje PROLOG. 2010. Obtenido de
http://ce.azc.uam.mx/profesores/mjm/pub/prolog.pdf
20. HolaCdigo. Analizador Lexico con JFlex en Java (NetBeans). 2012. Obtenido de
http://www.youtube.com/watch?v=w-KfjJdRas8

TecNM mayo 2016 Pgina | 10