Tareas unach

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

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

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

Contenido

1. PROGRAMACIÓN LÓGICA ......................................................................................................... 1

2. PROLOG Y EL LENGUAJE DE LA LÓGICA DE PRIMER ORDEN...................................... 3

2.1. PREDICADOS.............................................................................................................................. 3
2.2. TÉRMINOS .................................................................................................................................. 4
2.3. CONECTIVAS LÓGICAS............................................................................................................... 6

3. ESTRUCTURA DE UN PROGRAMA........................................................................................... 9

3.1. PREGUNTAS................................................................................................................................9

4. SINTAXIS........................................................................................................................................ 12

4.1.CARACTERES............................................................................................................................ 12
4.2. ESTRUCTURAS.......................................................................................................................... 13
4.3. OPERADORES ........................................................................................................................... 135. ESTRUCTURAS DE DATOS........................................................................................................ 18

5.1. ÁRBOLES.................................................................................................................................. 18
5.2.LISTAS...................................................................................................................................... 18

6. ESTRUCTURAS DE CONTROL ................................................................................................. 23

6.1. RECURSIÓN .............................................................................................................................. 23
6.2. UNIFICACIÓN............................................................................................................................ 24
6.3. REEVALUACIÓN........................................................................................................................ 25
6.4. EL CORTE................................................................................................................................. 27
6.5. PREDICADOSDE CONTROL ....................................................................................................... 30

7. PREDICADOS DE ENTRADA Y SALIDA ................................................................................. 32

7.1. LECTURA Y ESCRITURA DE TÉRMINOS .................................................................................... 32
7.2. LECTURA YESCRITURA DE CARACTERES ............................................................................... 33
7.3. LECTURA Y ESCRITURA EN FICHEROS ..................................................................................... 34

8. MODIFICACIÓN DE LA BASE DE CONOCIMIENTOS ........................................................ 37

8.1. ADICIÓN DE BASES DE CONOCIMIENTO EXTERNAS...