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) • 838 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 ............................................................................................................... 67
PROLOG-2 ................................................................................................................................ 67 SWI-PROLOG ........................................................................................................................... 68
ANEXO: PROGRAMACIÓN LÓGICA................................................................................................................. 71
CUADRO COMPARATIVO DE LAS DIFERENTES NOTACIONES PARA BIBLIOGRAFÍA ...................................................................................................................................... 72
Página ii © 1996-2001 Faraón Llorens
PROLOG
Estos apuntes pretenden ser un documento de apoyo para los estudiantes que realizan las prácticas en el lenguaje de programación Prolog, en alguna de las asignaturas
...