Principales características de la programación lógica

Vista previa del material en texto

Escuela
Instituto Politécnico Nacional
(IPN)
Unidad
Unidad Profesional Interdisciplinaria de Ingeniería Campus Coahuila
(UPIIC)
Carrera 
Ingeniería en Inteligencia Artificial
Asignatura
Paradigmas de programación
Carrera 
Ingeniería en Inteligencia Artificial
Profesor
Raúl Campos Posada
Alumno
Diego Omar Matias Cruz
Tercer Semestre 
Grupo Uno
Sistemas de procesamiento paralelo
¿Cuales son las principales características del paradigma de la programación lógica?
R = En lugar de darle instrucciones a una computadora con el programa, se establecen relaciones entre los objetos. De esta manera la computadora puede razonar estas relaciones y así alcanzar soluciones lógicas.
Dentro de un programa lógico existen dos conjuntos principales de código: hechos y reglas. Las reglas se aplican a los hechos para así obtener conocimiento sobre el concepto
¿Cómo se inició la programación lógica?
R = Los inicios de la programación lógica son los primeros trabajos de la Inteligencia Artificial, los que dieron lugar al primer lenguaje que contempla los mecanismos de inferencia
prolog se originó en los años 70, lenguaje de programación que usa el paradigma de programación lógica
Explica los conceptos clave del paradigma de la programación lógica
R= Lógica de primer orden
es un sistema formal diseñado para estudiar la inferencia (La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales)
Cálculo lambda
Puede ser usado para definir de manera limpia y precisa qué es una "función computable"