ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Lógica de primer orden, lógica computacional y ampliación de lógica


Enviado por   •  11 de Noviembre de 2013  •  Tutoriales  •  16.141 Palabras (65 Páginas)  •  527 Visitas

Página 1 de 65

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 ...............................................................................................................

...

Descargar como (para miembros actualizados)  txt (126.9 Kb)  
Leer 64 páginas más »
Disponible sólo en Clubensayos.com