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

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
elaboracin o revisin

Participantes

Evento

Representantes de los Institutos

Tecnolgicos de:

Instituto Tecnolgico de
Saltillo del 5 al 9 de octubre
de 2009.

TecNM mayo 2016

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,
Huetamo, La Laguna, La Paz, Lzaro
Crdenas, Lerdo, Libres, Linares,
Macuspana, Matamoros, Mrida,
Mexicali, Morelia, Nuevo Laredo,
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

Reunin Nacional de Diseo e

Innovacin Curricular para el
Desarrollo
y
Formacin
de
Competencias Profesionales de las
Carreras de Ingeniera en Sistemas
Computacionales,
Ingeniera
Informtica
e
Ingeniera
en
Geociencias.

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:

Instituto Tecnolgico
Superior de Poza Rica del 22
al 26 de febrero de 2010.

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,
Huetamo, La Laguna, La Paz, Lzaro
Crdenas, Lerdo, Libres, Macuspana,
Matamoros,
Mrida,
Mexicali,
Morelia, Nuevo Laredo, Nuevo
Len, Occidente del Estado de
Hidalgo, 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
Rodrguez,
Teziutln,
Tijuana,
Toluca,
Tuxtepec,
Veracruz,
Villahermosa, Xalapa, Zacatecas y
Zacatepec.

Reunin Nacional de Consolidacin de

los Programas en Competencias
Profesionales de las Carreras de
Ingeniera
en
Sistemas
Computacionales,
Ingeniera
Informtica e Ingeniera Petrolera del
SNEST.

Representantes de los Institutos

Tecnolgicos de:

Instituto Tecnolgico de
Quertaro del 22 al 25 de
octubre de 2012.

TecNM mayo 2016

Acayucan,
Altamira,
Cajeme,
Campeche, Cananea, Cd. Acua, Cd.
Cuauhtmoc, Cd. Jurez, Cd.
Madero, Cd. Valles, Celaya, Centla,
Cerro Azul, Chetumal, Chihuahua II,
Chilpancingo,
Coalcomn,
Coatzacoalcos, Cocula, Colima,
Comalcalco, Delicias, Durango,
bano, Escrcega, Huixquilucan, La
Paz, Len, Lerdo, Los Ros,
Macuspana, Mante, Milpa Alta,
Minatitln, Morelia, Nuevo Laredo,

Reunin Nacional de Seguimiento

Curricular de los Programas en
Competencias Profesionales de las
Carreras de Ingeniera en Sistemas
Computacionales,
Ingeniera
Informtica
e
Ingeniera
en
Tecnologas de la Informacin y
Comunicaciones.

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.
Instituto Tecnolgico de
Toluca, del 10 al 13 de
febrero de 2014.

Representantes de los Institutos Reunin de Seguimiento Curricular de

Tecnolgicos de:
los
Programas
Educativos
de
Licenciaturas
y
Cerro Azul, Colima, Lerdo, Toluca y Ingenieras,
Asignaturas
Comunes
del
SNIT.
Veracruz.

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

Conceptos Fundamentales.

Modelo de Programacin Funcional.

Programacin lgica.

Modelo de programacin lgica.

TecNM mayo 2016

Subtemas
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.

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):

Identificar los paradigmas de los lenguajes

de programacin.

Genricas:

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.

Visualizar los diversos estilos de la

programacin.
Identificar los conceptos bsicos de los
diferentes paradigmas de programacin.
Reconocer las caractersticas de los
diferentes paradigmas de programacin.
Realizar mapa conceptual de los paradigmas
y lenguajes de la programacin
representativa.

2. Modelo de Programacin Funcional.

Competencias
Especfica(s):

Realiza una aplicacin dando solucin a un

problema del entorno usando el paradigma
de la programacin funcional.

Genricas:

Capacidad de anlisis y sntesis.

Capacidad de organizar y planificar.

TecNM mayo 2016

Actividades de aprendizaje

Conoce el paradigma de la programacin

funcional.
Identificar los conceptos bsicos de la
programacin funcional.
Describir las caractersticas de la
programacin funcional.
Reconocer la estructura y elementos de la
programacin funcional.

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
establecido para la materia.
Solucin de problemas.
Realizar mapa conceptual de los lenguajes de
Toma de decisiones.
la programacin funcional vistos en la
Trabajo en equipo.
materia.
Capacidad de aplicar los conocimientos.
Aplicar los conceptos de la programacin
Habilidades de investigacin.
funcional para resolver un problema real.
Capacidad de generar nuevas ideas.
Liderazgo.
Habilidad para trabajar en forma.
Autnoma.
Bsqueda del logro.
3. Programacin Lgica.
Competencias

Especfica(s):

Conoce las ventajas y desventajas del

paradigma de programacin lgica.
Identifica los elementos de la programacin
lgica.

Actividades de aprendizaje

Identificar los conceptos bsicos de la

programacin lgica.
Describir las clusulas de Horn y resolucin
SLD, para identificar reglas de inferencia
lgica y emplearlas en la representacin del
conocimiento.

Genricas:

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
Especfica(s):

Realiza una aplicacin dando solucin a un

problema del entorno usando el paradigma
de la programacin lgica.

Actividades de aprendizaje

Genricas:

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.

Reconocer los elementos de la semntica de

la programacin lgica para interpretar el
conocimiento y aplicarlo en su
representacin.
Investigar, al menos, un lenguaje de
programacin lgica diferente al establecido
para la materia.
Realizar mapa conceptual de la
programacin lgica.
Aplicar la programacin lgica para resolver
un problema real.

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://www2.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