Lógica de primer orden, lógica computacional y ampliación de lógica
Enviado por sc_solis • 11 de Noviembre de 2013 • Tutoriales • 16.141 Palabras (65 Páginas) • 825 Visitas
LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICA
3UiFWLFDVGH/yJLFD
Faraón Llorens Largo Ma Jesús Castel de Haro
DEPARTAMENTO DE CIENCIA DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL Universidad de Alicante
PROLOG
1. 2.
3. 4.
5.
6.
7.
8.
Contenido
PROGRAMACIÓN LÓGICA ......................................................................................................... 1 PROLOG Y EL LENGUAJE DE LA LÓGICA DE PRIMER ORDEN...................................... 3
2.1. 2.2. 2.3.
PREDICADOS .............................................................................................................................. 3 TÉRMINOS .................................................................................................................................. 4 CONECTIVAS LÓGICAS...............................................................................................................6
ESTRUCTURA DE UN PROGRAMA ........................................................................................... 9
3.1. PREGUNTAS................................................................................................................................ 9
SINT AXIS........................................................................................................................................ 12
4.1. 4.2. 4.3.
CARACTERES............................................................................................................................ 12 ESTRUCTURAS.......................................................................................................................... 13 OPERADORES ........................................................................................................................... 13
ESTRUCTURAS DE DATOS........................................................................................................ 18
5.1. ÁRBOLES.................................................................................................................................. 18 5.2. LISTAS...................................................................................................................................... 18
ESTRUCTURAS DE CONTROL ................................................................................................. 23
6.1. RECURSIÓN .............................................................................................................................. 23 6.2. UNIFICACIÓN ............................................................................................................................ 24 6.3. REEV ALUACIÓN........................................................................................................................ 25 6.4. EL CORTE................................................................................................................................. 27 6.5. PREDICADOS DE CONTROL ....................................................................................................... 30
PREDICADOS DE ENTRADA Y SALIDA ................................................................................. 32
7.1. 7.2. 7.3.
LECTURA Y ESCRITURA DE TÉRMINOS....................................................................................32 LECTURA Y ESCRITURA DE CARACTERES ............................................................................... 33 LECTURA Y ESCRITURA EN FICHEROS ..................................................................................... 34
MODIFICACIÓN DE LA BASE DE CONOCIMIENTOS ........................................................ 37
8.1. 8.2. 8.3.
ADICIÓN DE BASES DE CONOCIMIENTO EXTERNAS ................................................................. 37 MANIPULACIÓN DE LA BASE DE CONOCIMIENTOS .................................................................. 38 COMPONENTES DE ESTRUCTURAS ........................................................................................... 41
9. 10.
DEPURACIÓN DE PROGRAMAS PROLOG............................................................................ 44 PROGRAMACIÓN EN PROLOG........................................................................................... 47
10.1. 10.2. 10.3. 10.4.
11.
11.1. 11.2.
ENTORNO DE TRABAJO ............................................................................................................ 47 ESTILO DE PROGRAMACIÓN EN PROLOG.................................................................................. 47 INTERPRETACIÓN PROCEDIMENTAL DE LOS PROGRAMAS PROLOG ........................................... 49 VENTAJAS DE PROLOG............................................................................................................. 50
EJEMPLOS ................................................................................................................................ 52
FORMAS NORMALES ................................................................................................................ 52 ÁRBOL GENEALÓGICO.............................................................................................................. 55
© 1996-2001 Faraón Llorens Página i
LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICA
11.3.
12. 13.
13.1. 13.2.
JUEGO LÓGICO ......................................................................................................................... 58
PREDICADOS PREDEFINIDOS ............................................................................................ 63 SISTEMAS PROLOG ...............................................................................................................
...