Curso de amzi prolog

[pic] [pic]

MANEJO DEL AMBIENTE DE PROGRAMACIÓN LÓGICA AMZI! PROLOG + LOGIC SERVERTM V 7.5

Dr. Eric Manuel Rosales Peña Alfaro

Septiembre-2006

INDICE

INDICE 1

I. INTRODUCCION 3

I.1 Historia del lenguaje PROLOG y sus ambientes de desarrollo 4
I.1.1 El lenguaje de programación PROLOG 4
I.1.2 Ambientes de desarrollo PROLOG 4
I.1.3 El Ambiente AMZI PROLOG + LOGICSERVER. 4
I.2 La esencia de la lógica 4
I.3 Fundamentos de la estructura lógica 5
I.3.1 Relaciones y Elementos. 5
I.3.2 Términos y Grado de un término. 6
I.3.3 Proposiciones. 6
I.3.4 Principios que gobiernan la expresión de la lógica simbólica. 6
I.3.5 Contexto. 7
1.3.6 Conceptos y concepciones. 7
I.3.7 Contexto Formal 7
I.3.8 Valores de verdad. 7
I.3.9Relaciones dentro de un contexto formal 8
I.3.10 Sistemas 8
I.4 Los sistemas lógicos 8
I.4.1 Regularidades 8
1.4.2 Equivalencia dentro de los sistemas lógicos 9

1. PROGRAMACIÓN LÓGICA 10

1.1 Proposiciones y predicados. 10
1.2 Aridad. 11
1.3 Axiomas 11
1.3.1 Silogismos puros 12
1.3.2 Silogismos hipotéticos impuros 12
1.3.3 Silogismo disyuntivo 12
1.3.4Polisilogismos. 13
1.3.5 Dilema 13
1.4 Cuantificación. 13
1.5 Equivalencias lógicas 14
1.6 Unificación. 15
1.7 Resolución 16

2. PROGRAMACIÓN EN PROLOG. 18

2.1 Definición de problemas. 18
2.2 Conceptualización axiomática. 18
2.3 Abstracción con hechos y relaciones. 19
2.4 Modularización. 21
2.5 Codificación. 22
2.6 Puesta a punto. 23

3. EL AMBIENTE PROLOG. 243.1 Menús. 26
3.2 Ventanas. 29
3.3.Consultas. 30
3.4. Cargando programas. 30
3.5 Búsqueda y backtracking. 31
3.6 Debug. 32
3.7 Puntos espía (Spy Points). 33

4. CONSULTAS DE METAS. 34

4.1 Metas en PROLOG. 34
4.2 Fallas en la Consulta. 35
4.3 Backtracking. 35
4.5 Pidiendo más alternativas de solución. 39
4.6 Metas múltiples. 39
4.7 La cláusula ASSERT. 404.8 La cláusula Retract. 40

5. SEGUIMIENTO DE UN PROGRAMA EN PROLOG. 43

5.1 La ventana de debug (cont.) 43
5.2 Opciones de seguimiento. 45
5.3 El puerto Call. 46
5.4 El puerto Exit. 46
5.5 El puerto Fail. 46
5.6 El puerto Redo. 46
5.7 Puntos espía (“SPY”). 46

6. PROGRAMACIÓN MODULAR. 48

6.1 La programación modular. 48
6.2 La cláusula Export. 48
6.3 Lacláusula Import. 48

7. COMPILACIÓN Y “LINKEO” DE PROGRAMAS EN PROLOG. 50

7.1 La ventana de compilación. 50
7.2 La ventana de “linkeo” (Liga). 52
7.3 La ventana de construcción. 54
7.4 Corriendo programas desde el ambiente PROLOG. 55
7.5 Corriendo programa desde la consola de windows. 55

8. EJEMPLOS A DESARROLLAR 56

8.1 El Agente Viajero. 56
8.2 Parejas Celosas. 56
8.3Resolución. 56
8.4 Conceptualización axiómatica. 57

ANEXOS 65

A. Mapa del agente viajero. 66

BIBLIOGRAFÍA 67

I. INTRODUCCION

En el estudio de las ciencias, cuando se empieza a realizar el manejo de los hechos en relación con los axiomas del dominio de conocimiento específico aplicativo, se lleva a cabo un proceso de inferencia; el cual, al quererse llevar a la computadoradigital se transforma en una secuencia de cláusulas, comparaciones y decisiones todas éstas lógicas que permiten utilizar software capaz de realizar inferencias lógicas.

Una vez realizada la transformación de los axiomas lógicos a cláusulas matemáticamente tratables es posible, todavía, que se tenga la necesidad de realizar una transformación más, para poder implementar el dominio de conocimientoaplicativo en términos de un lenguaje de programación. Ésta transformación produce lo que se conoce como un programa lógico, el cual puede ser codificado en el lenguaje de programación declarativo PROLOG. Así entonces, como todo programa codificado en algún lenguaje, es necesario que se tenga un intérprete o un compilador y generador de código ejecutable que permite correr el programa lógico....