Programacion Logica Y Funcional

Programaci´n l´gica y funcional o o
´ Alvaro Tasistro 1988 Jorge Vidart

2

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

´ Indice general
1. Paradigmas de programaci´n o 7

I

Programaci´n en l´gica o o

9
11 19 21 27 28 34 38 41 45 45 46 49 51 55

2. Introducci´n a la programaci´n en l´gica o o o o o 3. Interpretaci´n l´gica 3.1. Sintaxis de programas enl´gica . . o 3.2. Sem´ntica de programas en l´gica . a o 3.3. Inferencia l´gica . . . . . . . . . . . o 3.4. Unificaci´n . . . . . . . . . . . . . . o 3.5. Evaluaci´n de programas en l´gica o o

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

4.Interpretaci´n algor´ o ıtmica 4.1. Procedimientos y programaci´n en l´gica o o 4.2. Definici´n de procedimientos . . . . . . . o 4.3. Invocaci´n de procedimientos . . . . . . o 4.4. Int´rprete no determinista . . . . . . . . e 4.5. Estrategias de evaluaci´n . . . . . . . . . o 4.6. Tratamiento de la negaci´n . . . . . . . . o

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. .. . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

II

Programaci´n funcional o

59

5. Un 5.1. 5.2. 5.3.

caso de dise˜o con lenguaje funcional n 61 Funciones, problemas y dise˜ o modular . . . . . . . . . . . . . 62 n El caso de estudio . . . . . . . . . . . . . . . . . . . . . . . . . 63 Desarrollo del dise˜ o . . . . . . . . . . . . .. . . . . . . . . . 65 n
Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

4

´ INDICE GENERAL 6. Lenguajes funcionales 75 6.1. La estructura de los lenguajes funcionales . . . . . . . . . . . . 76 6.2. La importancia de los lenguajes funcionales . . . . . . . . . . . 82 7. El c´lculo Lambda a 8. El lenguaje de programaci´n SCHEME o 9. Anexo: Conceptos b´sicos a 87 89 91Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

Introducci´n o
P´g. 3 a

Todav´ no hemos compuesto esta parte del libro, por favor ıa tenga paciencia. Muchas gracias.

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

6

´ INDICE GENERAL

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

Cap´ ıtulo 1 Paradigmas de programaci´n oP´g. 7 a

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

8

Paradigmas de programaci´n o Todav´ no hemos compuesto esta parte del libro, por favor ıa tenga paciencia. Muchas gracias.

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

Parte I Programaci´n en l´gica o o

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

Cap´ ıtulo 2Introducci´n a la programaci´n o o en l´gica o

En este cap´ ıtulo se realiza una introducci´n a la programao ci´n en l´gica. La presentaci´n, que ser´ informal, se basar´ en el o o o a a o a a concepto de relaci´n matem´tica, y apelar´ a los conocimientos previos del lector en los aspectos de c´lculo y evaluaci´n para a o lenguajes tradicionales. a El ejemplo que se usar´, definir relaciones deparentezco familiar, constituye el caso cl´sico para presentar el tema. Se definir´n a a las relaciones por enumeraci´n, para luego, mediante el concepto o o a de recursi´n, introducir relaciones m´s complejas.

P´g. 19 a

Version: $Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $

12
P´g. 20 a

Introducci´n a la programaci´n en l´gica o o o En la programaci´n imperativa tradicional elusuario dise˜ a sus algoo n ritmos en t´rminos de transiciones de estados de una m´quina ficticia que e a corresponde al lenguaje que se est´ utilizando. As´ un programador Pascal e ı utiliza los constructores del mismo (asignaciones, estructuras de control, etc.) para indicar a una supuesta m´quina Pascal como van evolucionando sus esa tados a fin de alcanzar una situaci´n final en la que puedan...