CAMPUS CULHUACAN ING.

EN COMPUTACIÓN Página 1 de 3
PROF. JUAN MANUEL ASIGNATURA SEMESTRE
HERNÁNDEZ SISTEMAS EXPERTOS OCTAVO
ESPINOSA
PROTOCOLO DE PRÁCTICAS PRACTICA: 0

EQUIPO: CALIFICACIÓN:

INTEGRANTES

TEMA: Paradigma lógico de programación

PROPÓSITO: Conocer y comprender el paradigma lógico de programación

MARCO TEÓRICO

Historia

Remontándonos en el tiempo podemos tomar a Aristóteles (384-322 a.C.) y su

teoría silogística como los precursores de la lógica matemática y en consecuencia
de la Programación lógica. La teoría silogística, que estudia una clase particular de
implicaciones con dos premisas y una conclusión, también fue tratada por los
filósofos contemporáneos de Aristóteles y largamente estudiada en siglos
posteriores, aunque no se produjeron innovaciones de interés hasta el siglo XVII
con los trabajos de Descartes y Leibnitz.

Dos siglos después Boole dio un paso importante en el sistema de razonamiento

aristotélico poniendo en relación la lógica y el álgebra. Los trabajos de Boole
fueron modificados y ampliados más tarde por los lógicos y matemáticos como
Jevon, Pierce, Schroeder y Huntington entre otros.

Llegamos así a finales del siglo XIX y principios del XX con la revolución de la
fundamentación de las Matemáticas gracias a los trabajos de Frege, Cantor,
Peano, Russell y Whitehead entre otros que marcan el periodo más apasionante y
de mayor actividad en la historia de la lógica matemática.

Llegamos a la mitad del siglo XX y descubrimos que de forma paralela al

desarrollo de la lógica se ha producido un espectacular avance de las llamadas
“máquinas de calcular”, avance sobre el que reflexiona A. Turing en un artículo
titulado “¿Pueden pensar las maquinas?”, publicado en 1950 y que podemos dar
como punto de partida de lo que después se llamara Inteligencia Artificial.

Juan manuel Hernández Espinosa

 CAMPUS CULHUACAN ING. EN COMPUTACIÓN Página 2 de 3
PROF. JUAN MANUEL ASIGNATURA SEMESTRE
HERNÁNDEZ SISTEMAS EXPERTOS OCTAVO
ESPINOSA
PROTOCOLO DE PRÁCTICAS PRACTICA: 0

No obstante hasta la primera mitad de los sesenta, con los trabajos de Kowalski y
el primer PROLOG de Colmerauer cuando nace la Programación Lógica como
rama de la demostración automática con personalidad propia.

Características
 Los programas para los lenguajes de programación lógicos son un conjunto de
hechos y reglas.
 La sintaxis de los lenguajes de programación lógicos es notablemente diferente
de los lenguajes de programación imperativos.
 Unificación de términos.
 Mecanismos de inferencia automática.
 Recursión como estructura de control básica.
 Visión lógica de la computación.
 La aplicación de las reglas de la lógica para inferir conclusiones a partir de
datos.
 El programa se transforma en un conjunto de declaraciones formales de
especificaciones que deben ser correctas por definición.
 No tiene un algoritmo que indique los pasos que detallen la manera de llegar a
un resultado.
 Las salidas son funcionalmente dependientes de las entradas.

La idea principal de la Programación Lógica es:

PROGRAMA = LÓGICA + CONTROL

Donde la Lógica (determina las soluciones producidas) la proporciona el

Programador y el Control lo proporciona software utilizado para el desarrollo.

Lenguajes Representativos
ALF
CLP
Elf
Flang
Godel
KLIC
Logtalk
Prolog (y sus dialectos: Visual Prolog, SWI – Prolog, etc.)

Juan manuel Hernández Espinosa

 CAMPUS CULHUACAN ING. EN COMPUTACIÓN Página 3 de 3
PROF. JUAN MANUEL ASIGNATURA SEMESTRE
HERNÁNDEZ SISTEMAS EXPERTOS OCTAVO
ESPINOSA
PROTOCOLO DE PRÁCTICAS PRACTICA: 0

MATERIAL

Computador
Internet
Memoria USB

PLANTEAMIENTO DEL PROBLEMA

1) Investigar las principales características del paradigma declarativo de

programación.
2) Investigar las principales características del paradigma lógico de
programación

Nota: investigue de por lo menos 3 fuentes bibliográficas prestigiadas en cada

caso. Pegue los links en la bibliografía

DESARROLLO

1)
2)

CONCLUSIONES

BIBLIOGRAFÍA

Juan manuel Hernández Espinosa