programacion

Programaci´on l´ogica y funcional
´
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´
on

7

I

9

Programaci´
on en l´
ogica

2. Introducci´
on a la programaci´
on en l´
ogica

11

3. Interpretaci´
on l´
ogica
3.1. Sintaxis de programas en l´ogica . .
3.2.Sem´antica de programas en l´ogica .
3.3. Inferencia l´ogica . . . . . . . . . . .
3.4. Unificaci´on . . . . . . . . . . . . . .
3.5. Evaluaci´on de programas en l´ogica

.
.
.
.
.

19
21
27
28
34
38

.
.
.
.
.
.

41
45
45
46
49
51
55

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

4. Interpretaci´
on algor´ıtmica
4.1. Procedimientos y programaci´on en l´ogica4.2. Definici´on de procedimientos . . . . . . .
4.3. Invocaci´on de procedimientos . . . . . .
4.4. Int´erprete no determinista . . . . . . . .
4.5. Estrategias de evaluaci´on . . . . . . . . .
4.6. Tratamiento de la negaci´on . . . . . . . .

II

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
..
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

Programaci´
on funcional

5. Un
5.1.
5.2.
5.3.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

59

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

´INDICE GENERAL

4

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´
alculo Lambda

87

8. El lenguaje de programaci´
on SCHEME

89

9. Anexo: Conceptos b´
asicos

91

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

Introducci´
on
P´
ag. 3

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

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

´INDICE GENERAL

6

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

Cap´ıtulo 1
Paradigmas de programaci´
on

P´
ag. 7

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

8

Paradigmas de programaci´
on
Todav´ıa no hemos compuesto esta parte del libro, por favor
tenga paciencia. Muchasgracias.

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

Parte I
Programaci´
on en l´
ogica

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

Cap´ıtulo 2
Introducci´
on a la programaci´
on
en l´
ogica

En este cap´ıtulo se realiza una introducci´on a la programaci´on en l´ogica. La presentaci´on, que ser´a informal, se basar´a en el
concepto derelaci´on matem´atica, y apelar´a a los conocimientos
previos del lector en los aspectos de c´alculo y evaluaci´on para
lenguajes tradicionales.
El ejemplo que se usar´a, definir relaciones de parentezco familiar, constituye el caso cl´asico para presentar el tema. Se definir´an
las relaciones por enumeraci´on, para luego, mediante el concepto
de recursi´on, introducir relaciones m´ascomplejas.

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

P´
ag. 19

12
P´
ag. 20

Introducci´
on a la programaci´
on en l´
ogica
En la programaci´on imperativa tradicional el usuario dise˜
na sus algoritmos en t´erminos de transiciones de estados de una m´aquina ficticia que
corresponde al lenguaje que se est´e utilizando. As´ı un programador Pascal
utiliza los...