ING.

SISTEMAS COM PUTACIONALES

Programación lógica y funcional

U4 Modelo de programación lógica.

ALUMNO: RAFAEL DEL CARMEN TORRES

SALVADOR

Dr. Alejandro Peña Casanova

FECHA: 10-diciembre-2021

NO. CONTROL: 20300115

2
 INDICE

Presentación …………………………………………………………………………… 1

Índice ……………………………………………………………………………………. 2

Introducción ……………………………………………………………………………. 3

Desarrollo ………………………………………………………………………………. 4

4.1 Introducción al modelo de programación lógica. ……………………………….. 4

4.2. Semántica de los programas lógicos. ……………………………………………. 5

4.3. Representación del conocimiento EN FORMA DE HECHOS Y REGLAS

(LENGUAJE PROLOG)…………………………………………………………………. 6

4.3.1 Elaboración de programas en PROLOG……………………………………… 9

Conclusión …………………………………………………………………………… 19

Bibliografía …………………………………………………………………………... 20
2
 INTRODUCCION

La programación lógica es la parte de la informática que se ocupa de la lógica

como lenguaje de programación. En este paradigma, un programa es un conjunto
finito de FBFs, y la computación es la obtención de pruebas formales.
El conocimiento básico de las matemáticas se puede representar en la lógica en
forma de axiomas, a los cuales se añaden reglas formales para deducir cosas
verdaderas (teoremas) a partir de los axiomas.

2
 DESARROLLO

Introducción al modelo
de programación lógica

2

Para que sirve
La Programación Lógica
estudia el uso de la
lógica para el
planteamiento de
problemas y el control
sobre las reglas de
inferencia para alcanzar
la solución automática
Se estructura
Desde el punto de vista lógico, puede
considerarse que los programas
comprenden dos tipos de elementos
diferentes: estructuras de datos y
algoritmos. O dicho en otras palabras:
datos, e instrucciones para su
manipulación
Se comprende por
Dos Paradigmas de
Programación la
Que intenta resolver
Programación
Dado un problema X, saber si la Declarativa y la
afirmación A es solución o no del Programación funcional
problema o en qué casos lo es.
Además, queremos que los métodos
sean implantados en máquinas de
forma que la resolución del problema
se haga de forma automática
Programación declarativa
Gira en torno al concepto
Programación funcional
de predicado, o relación
entre elementos
Se basa en el concepto
de función (que no es
más que una evolución
de los predicados), de
corte más matemático
2