Resumen razon y revolucion
5646 palabras
23 páginas
LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICAFaraó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 …ver más…
38 8.3. COMPONENTES DE ESTRUCTURAS ........................................................................................... 41
9. DEPURACIÓN DE PROGRAMAS PROLOG............................................................................ 44
10. PROGRAMACIÓN EN PROLOG........................................................................................... 47
10.1. ENTORNO DE TRABAJO ............................................................................................................ 47 10.2. ESTILO DE PROGRAMACIÓN EN PROLOG.................................................................................. 47 10.3. INTERPRETACIÓN PROCEDIMENTAL DE LOS PROGRAMAS PROLOG ........................................... 49 10.4. VENTAJAS DE PROLOG............................................................................................................. 50
11. EJEMPLOS ................................................................................................................................ 52
11.1. FORMAS NORMALES ................................................................................................................ 52 11.2. ÁRBOL GENEALÓGICO.............................................................................................................. 55
11.3. JUEGO LÓGICO