Program A

Presentacion
Introduccion
C OMMON L ISP
Programacion funcional
Programacion logica. P ROLOG
Paradigmas de Programacion
PLG
http://www.plg.inf.uc3m.es/docweb/pp/
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
Presentacion Introduccion Modelos de computacion Paradigmas de programacion Historia Otras cuestiones C OMMON L ISP Programacion funcional Programacion logica. P ROLOG
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
Presentacion
Introduccion
C OMMON L ISP
Modelos de computacion
Lenguajes de programacion
Modelo computacional: coleccion de valores y operaciones Tipos de modelos computacionales: imperativo, funcional y logico Computacion: aplicacion de una secuencia de operaciones a un valor para obtener otro valor Programa: especicacion de una computacion Lenguaje de programacion: notacion para escribir programas Sintaxis de un lenguaje de programacion: estructura o forma de los programas Semantica de un lenguaje de programacion: relaciones entre un programa y un modelo de computacion Pragmatica de un lenguaje de programacion: grado de exito con el que un programa cumple sus objetivos tanto en su delidad con el modelo de computacion subyacente como su utilidad para los programadores
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion imperativo

Tambien denominado procedural Conjunto de valores que denen un estado y la operacion de asignacion de la modicacion de estado Un estado es un conjunto de pares nombre-valor de las constantes y variables Un programa es una secuencia de asignaciones Una computacion es una secuencia de estados Ejemplo:
Programa a:=b+c b:=b+1 Estado 0 a=2 b=3 c=4 Modicacion a:=b+c Estado 1 a=7 b=3 c=4 Modicacion b:=b+1 Estado 2 a=7 b=4 c=4
10
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion imperativo

Tambien denominado procedural Conjunto de valores que denen un estado y la operacion de asignacion de la modicacion de estado Un estado es un conjunto de pares nombre-valor de las constantes y variables Un programa es una secuencia de asignaciones Una computacion es una secuencia de estados Ejemplo:
Programa a:=b+c b:=b+1 Estado 0 a=2 b=3 c=4 Modicacion a:=b+c Estado 1 a=7 b=3 c=4 Modicacion b:=b+1 Estado 2 a=7 b=4 c=4
11
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion funcional

Conjunto de valores, funciones y las operaciones de aplicacion de funcion y composicion de funcion Las funciones pueden tomar como argumentos otras funciones y devolverlas como resultados Un programa es una coleccion de deniciones de funciones Una computacion es una evaluacion (aplicacion) de una expresion (funcion con sus argumentos) Ejemplo
Programa (defun member (elemento lista) (cond ((null lista) nil) ((eq elemento (car lista)) lista) (t (member elemento (cdr lista)))))
Computacion (member a (b a c))
Resultado (a c)
12
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion funcional

Conjunto de valores, funciones y las operaciones de aplicacion de funcion y composicion de funcion Las funciones pueden tomar como argumentos otras funciones y devolverlas como resultados Un programa es una coleccion de deniciones de funciones Una computacion es una evaluacion (aplicacion) de una expresion (funcion con sus argumentos) Ejemplo
Programa (defun member (elemento lista) (cond ((null lista) nil) ((eq elemento (car lista)) lista) (t (member elemento (cdr lista)))))
Computacion (member a (b a c))
Resultado (a c)
13
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion logico

Conjunto de valores, deniciones de relaciones e inferencias logicas Un programa es una denicion de relaciones Una computacion es una prueba (secuencia de inferencias logicas) Ejemplo: Programa member(A,[A|X],[A|X]) :- !. member(A,[B|X],Y) :member(A,X,Y).
Computacion ?- member(a,[b,a,c],X) X=[a,c]
Prueba member(a,[b,a,c],[a,c]) 3. A=a, B=b, X=[a,c], Y=[a,c] member(a,[a,c],[a,c]) 2. A=a, X=[c]

Paradigmas de Programacion 14
Presentacion
Introduccion
C OMMON L ISP
Modelo de computacion logico

Conjunto de valores, deniciones de relaciones e inferencias logicas Un programa es una denicion de relaciones Una computacion es una prueba (secuencia de inferencias logicas) Ejemplo: Programa member(A,[A|X],[A|X]) :- !. member(A,[B|X],Y) :member(A,X,Y).
Computacion ?- member(a,[b,a,c],X) X=[a,c]
Prueba member(a,[b,a,c],[a,c]) 3. A=a, B=b, X=[a,c], Y=[a,c] member(a,[a,c],[a,c]) 2. A=a, X=[c]

Presentacion
Introduccion
C OMMON L ISP
Computabilidad
Los tres modelos son equivalentes cualquier problema que tenga una solucion en un modelo es resoluble en cada uno de los otros dos Se denominan modelos universales de computacion Otros modelos tambien son equivalentes Estan mezclados en los lenguajes de programacion
Java es imperativo, pero incorpora elementos funcionales y logicos CommonLisp es funcional, pero permite realizar programacion imperativa y logica Prolog es logico, pero admite determinadas secuencias imperativas
16
Presentacion
Introduccion
C OMMON L ISP
Paradigmas de programacion
Programacion imperativa Programacion declarativa Programacion orientada a objetos Programacion basada en modulos Otros paradigmas
17
Presentacion
Introduccion
C OMMON L ISP
Programacion imperativa
Modela la arquitectura de la maquina de von Neumann La computacion consiste en la ejecucion paso a paso de algoritmos (secuencias condicionales o repetitivas de instrucciones) que modican los contenidos de variables (espacios de memoria) Tipos:
Lenguajes procedurales (Pascal, C): utilizan subprogramas como unidades de modularizacion para denir pasos de computacion Lenguajes orientados a objetos (Smalltalk, C++, Java): encapsulan en objetos tanto los datos como las operaciones sobre los mismos
18
Presentacion
Introduccion
C OMMON L ISP
Ejemplo de programacion imperativa

Function member (e: real; a: lista-reales): lista-reales; begin if (a = nil) then member := nil else while ((a .siguiente <> nil) and (e <> a .elemento)) do a := a .siguiente; if e = a .elemento then member := a else member := nil end;
19
Presentacion
Introduccion
C OMMON L ISP
Programacion declarativa
Utiliza bloques de construccion como las funciones, la recursion o la equiparacion de patrones, para especicar mas la solucion que su calculo de bajo nivel Tipos:
Lenguajes funcionales (Common Lisp, Scheme, Haskell): utilizan funciones libres de efectos secundarios como bloques primitivos de construccion de programas. Estas funciones pueden aplicarse, construirse y pasarse como argumentos a otras funciones Lenguajes logicos (Prolog): calculan resultados utilizando reglas e inferencia logicas
20
Presentacion
Introduccion
C OMMON L ISP
Ejemplo de programacion declarativa

Programacion logica (Prolog) member(A,[A|X],[A|X]) :- !. member(A,[B|X],Y) :- member(A,X,Y). Programacion funcional (CommonLisp y Haskell) (defun member (elemento lista) (cond ((null lista) nil) ((eq elemento (car lista)) lista) (t (member elemento (cdr lista))))) fact 0 = 1 fact n = n * fact (n - 1)
Presentacion
Introduccion
C OMMON L ISP
Programacion orientada a objetos

Dene la computacion como la interaccion entre objetos autonomos Mediante la utilizacion de objetos, la programacion se convierte en simulacion Los objetos son instancias de clases que se organizan en jerarquas de herencia Los objetos se comportan independientemente Utilizan la seleccion de las operaciones en tiempo de ejecucion cuando interpretan los mensajes provenientes de otros objetos Ejemplos:
Smalltalk, Eiffel, y Java son lenguajes orientados a objetos Muchos lenguajes actuales, como C++, Ada-95, o Common Lisp tambien dan soporte a este tipo de programacion
Presentacion
Introduccion
C OMMON L ISP
Ejemplo de programacion orientada a objetos
Clase: lista Atributos: elemento, siguiente Metodos: primero, siguiente, member, ... Ejecucion de member: mandar un mensaje member a una instancia de la clase lista con el argumento elemento a buscar
23
Presentacion
Introduccion
C OMMON L ISP
Programacion basada en modulos

Reconoce agrupaciones de variables, procedimientos y tipos como unidades estaticas de modularidad de programa El interface a un modulo (o paquete) especica y exporta una serie de servicios generales Los detalles de implementacion se ocultan en una unidad de programa compilada separadamente Ejemplos:
Modula-2, Ada y C++ soportan este estilo de programacion que puede ser combinada con cualquier otro tipo de paradigma
24
Presentacion
Introduccion
C OMMON L ISP
Otros paradigmas de programacion

Programacion visual Programacion basada en restricciones Programacion basada en tipos abstractos de datos Programacion generica Programacion concurrente Programacion basada en componentes distribuidos Programacion basada en agentes Programacion literaria Programacion basada en patrones de diseno Programacion basada en guiones Programacion automatica: aprendizaje automatico
Presentacion Historia
Introduccion
C OMMON L ISP
Historia de los lenguajes de programacion

Charles Babbage
Charles Babbage
Maquina de diferencias
programas con tarjetas perforadas para su Maquina Analtica Lady Ada Lovelace fue la primera programadora1
1
Hija de Lord Byron

26
Introduccion
C OMMON L ISP
Zuse, Plankalkul (1945)
Konrad Zuse
Z1
tipos de datos: bit, escalares (con bits), matrices, registros recursivos no se descubrio hasta los 70
27
Introduccion
C OMMON L ISP

1940-50: codigo maquina, direcciones absolutas, muy poca memoria John Mauchly (1949): creo un lenguaje, S HORT C ODE para el ordenador BINAC (luego UNIVAC), interpretado, sobre operaciones matematicas
Mauchly y Eckert (creadores del ENIAC)

ENIAC
28
Introduccion
C OMMON L ISP

John Backus (1954): extendio el lenguaje maquina para operaciones en coma otante para el IBM 701, creando FORTRAN (IBM FORmula TRANslation system). Se introdujo en el IBM 704 en 1954
John Backus
IBM 701
29
Introduccion
C OMMON L ISP

John McCarthy: denio Lisp (1958), Inteligencia Articial y tiempo compartido
Lisp pionero en:

estructuras de datos dinamicas tipado dinamico programacion orientada a objetos self-hosting: compilador escrito en el propio lenguaje
Introduccion
C OMMON L ISP
Historia de algunos lenguajes

Lenguaje FORTRAN LISP Algol 60 COBOL APL SNOBOL PL/1 BASIC Simula Algol 68 Pascal Prolog Anos 1954-57-581956-591958-60 1959-601956-60 1962-66 1963-1965 19641967 1963-68 1971 1972 Orgenes J. Backus (IBM) J. McCarthy Comite (USA Europa) Comite K. Iverson R. Griswold (Bell Labs) Comite (IBM) J. Kemeny, T. Kurtz O.J. Dahl, K. Nygaard Comite N. Wirth A. Colmerauer FLPL (FORTRAN) FORTRAN Lenguaje predecesor Proposito y caractersticas Computacion numerica, 1er lenguaje alto nivel, compilacion independiente Computacion simbolica, 1er lenguaje funcional, procesamiento de listas, garbage collection Computacion numerica, estructura de bloque, estructuras de control, recursion Procedimientos de negocio, registros y E/S Procesamiento de vectores Procesamiento de cadenas Proposito general, tipo de datos puntero, concurrencia, gestion de excepciones Educativo 1er lenguaje OO y de simulacion, corutinas, clases, herencia Proposito general, ortogonalidad, tipos denidos por usuario, matrices exibles Educativo, proposito general, pequeno y simple Inferencia logica (IA)
FORTRAN, Algol 60 COBOL FORTRAN Algol 60 Algol 60 Algol 60
31
Introduccion
C OMMON L ISP
Historia
Lenguaje C Scheme Modula-2 Smalltalk Ada C++ Haskell Tcl/Tk Perl Python Delphi Java
Anos 1972 1975 1977 1971-80 1979-83-95 19841989 1988 1990 1991 1994 1995-
Orgenes D. Ritchie (Bell Labs) G. Steele G. Sussman N. Wirth A. Kay A. Goldberg J. Ichbiah B. Stroustrup (Bell Labs) Comite(?) J.K. Ousterhout L. Wall G. vanRossum BORLAND SUN Microsystems
Lenguaje predecesor B, Algol 68 LISP Pascal Simula (LISP) Pascal... C, Simula ML, Scheme... shell scripts shell scripts shell scripts Pascal C++, Smalltalk
Proposito y caractersticas Programacion de sistemas Educativo, simple, funcional Programacion de sistemas, modulos, corutinas Computacion personal, OO puro, pionero en GUI Sistemas embebidos, paquetes, concurrencia Programacion de sistemas, multi-paradigma, grande, complejo Programacion simbolica, funcional sntesis de programas Lenguaje de scripting Lenguaje de scripting Lenguaje de scripting Proposito general, modular & OO Computacion basada en red, Educativo, OO simplicada
32
Introduccion
C OMMON L ISP
Historia. Primeros lenguajes

FORTRAN
Backus en IBM, 1957, 18 personas-ano para desarrollar el primer compilador Metas y contribuciones: problemas numericos, compilador muy eciente, compilacion separada Muchas revisiones: FORTRAN II, IV, 66, 77, 90, ...
LISP
McCarthy en MIT, 1958 Metas y contribuciones: programacion funcional, procesamiento de listas, manipulacion de smbolos Padre de Scheme y CommonLisp
ALGOL
Comite, 1960 Metas y contribuciones: numerico, estructura de bloque, recursion, elegante, muy inuyente Padre del ALGOL W, ALGOL 68, Pascal, Modula, Ada, etc.
COBOL
33
Introduccion
C OMMON L ISP
Primeras escisiones
APL
Iverson en Harvard, IBM, 1960 (para la notacion) Metas y contribuciones: lenguaje de calculo de matrices
SNOBOL 4
Griswold en Bell Labs, 1966 Metas y contribuciones: procesamiento de cadenas de caracteres a traves de equiparacion de patrones Padre de ICON
34
Introduccion
C OMMON L ISP
Historia. Consolidacion
PL/I
Comite en IBM, 1967 Combinacion de FORTRAN, COBOL, ALGOL 60, pero no integrados Multi-proposito, incluye punteros, registros, excepciones Se considera un fallo
ALGOL 68
Comite Elementos ortogonales Elegante, pero difcil de entender
Simula 67
Precursor de los lenguajes orientados a objetos Disenado para la simulacion Incluye corutinas
Introduccion
C OMMON L ISP
Historia. Consolidacion (I)
Pascal
Wirth, ETH, 1971 Disenado como lenguaje docente Permite programacion estructurada y es elegante Tuvo mas exito que el esperado
36
Introduccion
C OMMON L ISP
FORTRAN
Primer lenguaje ampliamente aceptado Introdujo la facilidad de programacion, eciencia de los programas hechos a mano, y la reduccion de errores de codicacion Enfasis en el calculo numerico en maquinas con poca memoria y procesadores lentos Primitivas del lenguaje
subrutinas (no se haca compilacion separada) formato de E/S condicionales de tipo IF (sin operadores relacionales en el juego de caracteres) repeticiones con el DO
37
Introduccion
C OMMON L ISP
Historia del FORTRAN
FORTRAN II (1958): compilacion independiente de las subrutinas FORTRAN IV (1962-68)

declaraciones explcitas de tipos IF logico subprogramas como parametros de otros subprogramas
FORTRAN 77
cadenas de caracteres control logico de bucles (while) la clausula ELSE para el IF
38
Introduccion
C OMMON L ISP
FORTRAN 90
Operaciones con matrices pre-denidas Matrices dinamicas Registros (llamados tipos derivados) Instruccion CASE Salidas de bucles prematuras Recursion en subprogramas Modulos FORTRAN 95, 2003, 2008, ... A good FORTRAN programmer can write FORTRAN code in any language
Introduccion
C OMMON L ISP
LISP. John McCarthy (1958)

List Processing Language Enfasis en calculo simbolico Gestion dinamica de memoria para listas Primitivas del lenguaje
expresiones condicionales recursion gestion dinamica de memoria los programas pueden ser tambien datos
Otros lenguajes relacionados: Scheme, Common Lisp, ML Lisp has jokingly been called the most intelligent way to misuse a computer. I think that description is a great compliment because it transmits the full avor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts. Edsger Dijkstra, CACM, 15:10
Introduccion
C OMMON L ISP
Scheme. Guy L. Steele & Gerard J. Sussman (1984)
Desarrollado en MIT a partir del Lisp Conjunto basico de primitivas Utilizado incluso para cursos introductorios de programacion
41
Introduccion
C OMMON L ISP
ALGOL
A mediados de los 50 hubo una proliferacion de lenguajes y ACM formo un comite en 1957 Objetivos:
sintaxis cercana a la notacion matematica deba ser usable en publicaciones deba ser compilable
ALGOL 58
tipos de datos: coma otante implcita y el resto deban declararse explcitamente identicadores de cualquier longitud matrices con numero arbitrario de dimensiones se podan declarar explcitamente los lmites inferiores de las matrices
ALGOL 60
parametros se podan pasar por valor y por nombre procedimientos recursivos
Presentacion Otras cuestiones
Introduccion
C OMMON L ISP
Requisitos de un lenguaje de programacion
Universal Natural (expresivo) Implementable Eciente (escribir, compilar, ejecutar) Robusto Mantenible
43
Introduccion
C OMMON L ISP
Abstracciones
Abstracciones de datos
tipos basicos de datos: enteros, reales, booleanos, caracteres, punteros estructurados: matrices, registros unidades: soporte a tipos abstractos de datos, modulos, paquetes, clases
Abstracciones de control
basicas: asignacion, ir-a, secuencia estructuradas: if-then-else, bucles, procedimientos (funciones) unidades: unidades de compilacion separada, modulos, paquetes, tareas concurrentes
44
Introduccion
C OMMON L ISP
En cualquier caso,
Hay alguno que sea superior a otros lenguajes de programacion?
45
Introduccion
C OMMON L ISP
La solucion: los propios programadores
46
Introduccion
C OMMON L ISP
La solucion: los propios programadores
47
Introduccion
C OMMON L ISP
Algunos ejemplos. Hello world

En Lisp (print "Hello World!") En Prolog hello :- display(Hello World!) , nl . En Java import java.io.*; class HelloWorld { static public void main( String args[] ) { System.out.println( "Hello World!" ); } }
Introduccion
C OMMON L ISP

En Pascal program HelloWorld(output); begin WriteLn(Hello World!); end. En Fortran PROGRAM HELLO WRITE (*,100) STOP 100 FORMAT ( Hello World! /) END
Introduccion
C OMMON L ISP

En Cobol ***************************** IDENTIFICATION DIVISION. PROGRAM-ID. HELLO. ENVIRONMENT DIVISION. DATA DIVISION. PROCEDURE DIVISION. MAIN SECTION. DISPLAY "Hello World!" STOP RUN. ****************************
50
Introduccion
C OMMON L ISP
Algunas direcciones interesantes

HelloWorld: http://www.roesler-ac.de/wolfram/hello.htm Formatos de cheros: http://www.wotsit.org/ Historia de los lenguajes de programacion: http://www.levenez.com/lang/history.html Directorio de algoritmos de programacion: http://www.algosort.com/ Algoritmos de la ACM: http://web.uvic.ca/cssavc/math.libraries/ Diccionario de algoritmos y estructuras de datos: http://www.nist.gov/dads/
51
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
52
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
53
Presentacion
Introduccion
C OMMON L ISP
Indice
1 2
3 4 5
54

Program A

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Program A

Cargado por

Copyright:

Formatos disponibles

Presentacion

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Modelo de computacion imperativo

Programacion logica. P ROLOG

Modelo de computacion imperativo

Programacion logica. P ROLOG

Modelo de computacion funcional

Computacion (member a (b a c))

Programacion logica. P ROLOG

Modelo de computacion funcional

Computacion (member a (b a c))

Programacion logica. P ROLOG

Modelo de computacion logico

Prueba member(a,[b,a,c],[a,c]) 3. A=a, B=b, X=[a,c], Y=[a,c] member(a,[a,c],[a,c]) 2. A=a, X=[c]

Programacion logica. P ROLOG

Modelo de computacion logico

Prueba member(a,[b,a,c],[a,c]) 3. A=a, B=b, X=[a,c], Y=[a,c] member(a,[a,c],[a,c]) 2. A=a, X=[c]

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Ejemplo de programacion imperativa

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Ejemplo de programacion declarativa

Programacion logica. P ROLOG

Programacion orientada a objetos

Programacion logica. P ROLOG

Ejemplo de programacion orientada a objetos

Programacion logica. P ROLOG

Programacion basada en modulos

Programacion logica. P ROLOG

Otros paradigmas de programacion

Programacion logica. P ROLOG

Historia de los lenguajes de programacion

Hija de Lord Byron

Programacion logica. P ROLOG

Historia de los lenguajes de programacion

Zuse, Plankalkul (1945)

Programacion logica. P ROLOG

Historia de los lenguajes de programacion

Mauchly y Eckert (creadores del ENIAC)

Programacion logica. P ROLOG

Historia de los lenguajes de programacion

Programacion logica. P ROLOG

Historia de los lenguajes de programacion

Lisp pionero en:

Programacion logica. P ROLOG

Historia de algunos lenguajes

FORTRAN, Algol 60 COBOL FORTRAN Algol 60 Algol 60 Algol 60

Programacion logica. P ROLOG

Programacion logica. P ROLOG

Historia. Primeros lenguajes

Programacion logica. P ROLOG

Programacion logica. P ROLOG