No se

LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICA

3UiFWLFDVGH/yJLFD


Faraón Llorens Largo Mª Jesús Castel de Haro

DEPARTAMENTO DE CIENCIA DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL Universidad de Alicante

PROLOG

Contenido

1. 2.

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

3.

ESTRUCTURA DE UN PROGRAMA ........................................................................................... 9 3.1.PREGUNTAS................................................................................................................................ 9

4.

SINTAXIS........................................................................................................................................ 12 4.1. 4.2. 4.3. CARACTERES............................................................................................................................ 12 ESTRUCTURAS.......................................................................................................................... 13 OPERADORES ........................................................................................................................... 13

5.

ESTRUCTURAS DE DATOS........................................................................................................ 18 5.1. 5.2. ÁRBOLES.................................................................................................................................. 18 LISTAS ...................................................................................................................................... 18

6.

ESTRUCTURAS DE CONTROL ................................................................................................. 23 6.1. 6.2. 6.3.6.4. 6.5. RECURSIÓN .............................................................................................................................. 23 UNIFICACIÓN ............................................................................................................................ 24REEVALUACIÓN........................................................................................................................ 25 EL CORTE ................................................................................................................................. 27 PREDICADOS DE CONTROL ....................................................................................................... 30

7.

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

8.

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