You are on page 1of 34

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

INGENIERA EN SISTEMAS COMPUTACIONAL

Materia: Programacin Lgica y Funcional

Alumno: Armando Chvez Velzquez

Docente: Jos Antonio Lpez Tello

Trabajo Unidad I

8vo Semestre

Cd. Lzaro Crdenas Michoacn a 23 de Febrero del 2014.


Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 1

1.-CLASIFICACION
Paradigmas de Programacin

Programacin Imperativa o Procedural

Programacin Orientada A Objetos

Programacin Lgica Y Funcional

Lenguaje
C
PHP
Transact-SQL
Perl
Pascal
Logo
PostScript
Assembly
PL/I
COBOL
Fortran
Lua
Ladder Logic
C shell
Go
Common Lisp
Emacs Lisp
Modula-3
Java
Objetive-c
C++
C#
Python
JavaScript
Visual Basic.NET
Ruby
D
Delphi/Objetive Pascal
Scala
RPG (OS/400)
OpenEdge ABL
ActionScript
Ada
Ct
R

Armando Chvez Velazquez

Pgina 2

Programacin Funcional

Programacin Lgica

Programacin Visual Y Por Eventos

Programacin Lgica Y Funcional

JScript.NET
MATLAB
F#
PL/SQL
Lisp
SAS
ML
Haskell
Scheme
Prolog
Visual Basic
ABAP
Tcl
Max/MSP
S.PLUS

Armando Chvez Velazquez

Pgina 3

2.-PALABRAS RESERVADAS
(Solo Paradigma Lgico y Funcional)

PROGRAMACIN FUNCIONAL

MATLAB
Palabras Reservada
break

function

case

global

catch

if

continue

otherwise

else

persistent

elseif

return

end

swirch

for

while

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 4

F#
Palabra reservada
open
or
override
private
public
rec
return
return!
select
static
struct
then
to
not

true
try
type
upcast
use
use!
val
void
when
while
with
yield
yield!
null

Programacin Lgica Y Funcional

abstract
and
as
assert
base
begin
class
default
delegate
do
done
downcast
downto
of

elif
else
end
exception
extern
false
finally
for
fun
function
global
if
in

Armando Chvez Velazquez

inherit
inline
interface
internal
lazy
let
let!
match
member
module
mutable
namespace
new

Pgina 5

Palabra
Reservada
DECLARE

BEGIN

Descripcin

Declaracin de variables y
subprogramas. Esta seccin es
opcional
requerido
Seccin ejecutable, se incluyen las
sentencias de SQL y llamadas a
procedimientos. Es la seccin
principal del bloque y es obligatoria
(al menos debe haber una orden
ejecutable)

PL/SQL
EXCEPTION

Zona de exception, se puede


colocar aqu las sentencias en caso
de error.
Esta seccin es opcional

END

Programacin Lgica Y Funcional

requerido
/ requerido

Armando Chvez Velazquez

Pgina 6

Palabra
Reservada
Car

Cdr

Cond

LISP

Cons

Defun

Programacin Lgica Y Funcional

Parmetro
Devuelve el primer elemento de una lista
(car lista)
> (CAR (A B C D))
A
Devuelve la lista sin su primer elemento
(cdr lista)
> (cdr (a b c))
(B C)
La palabra cond ejecuta un flujo de control
dependiendo de la condicin si es cierta o
no.
Es
algo
parecido
al
switch
de C /C++ , Java , C# .NET , etc.. pero con
la diferencia que en este caso lo que se
pone en los case son condiciones lgicas y
no constantes.
(cond ((condicion1) bloque1) ((condicio2)
bloque2) ... ((condicionN) bloqueN) )
> (defun notas (n)
(cond ((< n 5) suspenso)
((< n 7) aprobado)
((< n 9) notable)
(t sobresaliente) )) => NOTAS
> (notas 8)
=> NOTABLE
Aade al principio de una lista dada un
elemento
(cons elem lista)
> (cons a (b c d))
(A B C D)
Define una funcin con un nombre el cual
ser llamado mediante el comando
(nombre-funcion args) y que tiene como
argumentos una lista de variables. El
cuerpo es una lista que define qu hace la
funcin y es sta la que ejecuta la accin.
Esto se consigue con la palabra clave
defun.
(defun nombre-funcions (arg1 arg2 ... argn)
comentarios (cuerpo ) )
(defun CUADRADO (x) "Mi funcion
cuadrado"
(* x x

Armando Chvez Velazquez

Pgina 7

)
)
Cierto (T, de true) si la lista est vaca, y nil
(sin valor) en caso contrario
(endp '(a b c))
>nil
(endp '())
>T
Se utiliza eq para saber si dos tomos son
iguales,
independientemente
de
la
referencia.
Sintaxis (eq X Y)
(eq 3 3)
=> T
(eq 3 3.0)
=> NIL
(eq 3.0 3.0)
=> NIL
(eq (first (a b c)) a)
=> T
(eq (cons a (b c)) (a b c)) => NIL
Es utilizado equal para saber si dos listas
son iguales, independientemente de la
referencia.
(equal (cons a (b)) (cons a (b))) => T
Construye una lista a partir de sus
elementos
(list elem1 elem2 elem3 .. elemN)
> (list a (+ 1 2) nil)
(A 3 NIL)
La funcin quote evita la evaluacin de su
argumento.
> (quote (+ (- 5 2) (* 3 3)))
(+ (- 5 2) (* 3 3))

Endp

Eq

Equal

List

Quote

SAS
Palabra Reservada
Select

End

Data

Array

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 8

Run

Proc Import

Input

Attrib

If

Stop

Cards

Informat

Infile

Retain

Else

Link

Drop

Merge

File

Proc

Put

Rename

Set

Output

Where

Keep

Proc Import

Type

While

Firstobs

Until

Var

Do

Weight

Class
Include

Freq
Quit

Library

Value
Sum

By

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 9

ML
Palabras Reservadas

fun

datatype

andaso

let

orelse

in

val

LPA

then

of

end

hd

bool

tl

if

else

HASKELL
Fun

Palabra Reservada
End

case

Of

if

Deriving

let

Infixl

class

Then

import

Do

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 10

module

Infixr

data

Type

in

Else

newtype

Intance

default

Where

infix
data

SCHEME
Palabra Reservada
fun

Prot

let

Disp

in

Addr

val

Fn

of

Local

then

Datatype

datatype

Handle

end

Bool

else

Sig

if

Struct

type

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 11

PROGRAMACIN LGICA

PROLOG
Palabra Reservada
True
Fail
var(X)
novar(x)
atom(x)
integer(x)
atomic(x)
write(x)
read(x)
nl

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 12

3.-TIPO DE DATOS
(Solo Paradigma Lgico y Funcional)
PROGRAMACIN FUNCIONAL

MATLAB

Entero

Lgico
Carcter

Int8
Uint8
Int16
Uint16
Int32
Uint32
Int64
Uint64
9 bits
Char 16 bits

Double
Single
Cell
Struct

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 13

F#
Tipo de Dato
Decimal

decimal

Fecha

DateTime

Carcter SBCS
(1 byte)
Carcter Unicode (2 bytes)

sbyte

Secuencia de caracteres Unicode

string

Booleano (depende de la
plataforma)
1 byte

bool

2 bytes

int16

4 bytes

int32

8 bytes

int64

1 byte sin signo

byte

2 bytes sin signo

uint16

4 bytes sin signo

uint

8 bytes sin signo

uint64

Punto flotante de 4 bytes

float32
O bien
single
float
O bien
double

Punto flotante de 8 bytes

Programacin Lgica Y Funcional

char

sbyte

Armando Chvez Velazquez

Pgina 14

PL/SQL
Tipo de Dato
dec(p, e)

varchar2 (tamao)

interval

decimal(p, e)

long

interval day

double precision

raw

urowid [tamao]

float

long raw

Boolean

int

date

nchar (tamao)

integer

timestamp

nvarchar2

numeric(p, e)

char (tamao)

Bfile

number(p, e)

clob

Blob

real

nclob

Smallint

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 15

LISP
Tipo de Datos
Enteros

> -3
-3

>5
5

Decimales

> 7.8
7.8

> 3.14159265
3.14159265

De coma flotante

> 4.46E4
44600.0

> 7.9E-12
7.9E-12

> 1.65E6
1650000.0

> 8.2E32
8.2E32

Fracciones

> 2/3
2/3

> -5/8
-5/8

Complejos
El primer valor
corresponde a la
parte real, el segundo
a la imaginaria.

> #C(2 3)
#C(2 3)

> #C(-1 5)
#C(-1 5)

En Lisp tenemos: nmeros, cadenas de caracteres, listas, smbolos y funciones.

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 16

SAS
Numricos exactos

Cadenas de caracteres Unicode

Numricos aproximados

Cadenas binarias

Fecha y hora

Otros tipos de datos

Cadenas de caracteres

Tipos de datos de valores grandes:


varchar(max), nvarchar(max) y varbinary(max)

Tipos de datos de objetos grandes:


text, ntext, image, varchar(max), nvarchar(max), varbinary(max) y xml

bigint
bit
decimal
int
money
float
Fecha
datetime2
datetime

Numricos exactos
numeric
smallint
smallmoney
tinyint
Numricos aproximados
real
Fecha y hora
datetimeoffset
smalldatetime
time
Cadenas de caracteres

char
text

Programacin Lgica Y Funcional

varchar

Armando Chvez Velazquez

Pgina 17

nchar
ntext

Cadenas de caracteres Unicode


nvarchar
Cadenas binarias
varbinary

binary
image
cursor
hierarchyid
sql_variant
tabla

Otros tipos de datos


timestamp
uniqueidentifier
xml
Tipos espaciales

ML
Tipo de Datos
Carcter
Numrico
Booleano
Primitivos

Simples

Compuesto

Tipo Ordinal
Tipo Predefinido
Tipo Entero
Tipo Carcter
Tipo Lgico
Tipo Definidos Por El Usuario
Tipo Enumerado
Tipo Subrango
Tipo No Ordinal
Tipo Real
Tipo Cronolgico
Tipo Puntero
Tupla
Vector

Abstracto
Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 18

Puntero Y
Referencial
Algebraico
Objeto

Orientado a objeto
Clase

Funcion

HASKELL

SCHEME

Boll

Symbol

Int

Procedure

Integer

Number

Float

Pair

Double

Null

Char

Boolean

Tuplas

Vector

Listas

Cbar
String
List

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 19

PROGRAMACIN LGICA

PROLOG
Integer
Float
Number
Entero
Decimal
Atom
Var
Nonvar
Ground

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 20

4.-CODIFICACION, PARADIGMAS
(Solo Paradigma Lgico y Funcional)

Paradigma

MATLAB

F#

close all
% Cierra todas las ventanas.
clear all
% Borra todas las variables del espacio de trabajo.
clc
% Limpia la pantalla.
m=[5 6;6 7];
%Declaramos la matriz m
e=zeros(2,2);
%Declaramos una matriz de ceros de 2x
for k=(1:30)
%Iniciamos un for de k=1 supongamos hasta 30
e=e+(m^k)/factorial(k) %Introducimos la ecuacin como serie de potencias
end
%Terminamos el for
l = [1..10]
let rec contar l =
match l with // Condicion de match
| [] -> 0 // Si la lista esta vacia, por ende tiene 0 items.
| head :: tail -> 1 + contar tail //Contara los elementos inicio hasta tail o
sea el item que sigue sin contar el inicio, de hecho.
contar l // ejecucion de la lista.
[ DECLARE

IS / AS ]

<declaraciones>
BEGIN

PL/SQL

<instrucciones>
[ EXCEPTION ]
<tratamiento de excepciones>
END;
/
Hola Mundo:
(format t "Hola, mundo!")
Definicin de la funcin:

Lisp

(defun vacia (l)


(cond ((null l) 1) ; si la lista esta vacia devuelve 1
(t 0)))
; en otro caso (lista llena) devuelve 0
Llamada a la funcin:
(vacia '(1 3 4))
; La lista no esta vacia, devolvera 0

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 21

(vacia '())

; La lista esta vacia, devolvera 1

Un paso data que crea el un conjunto de datos, copia, a partir de origen,


filtrando los casos en los que las ventas son mayores de 100000:

SAS

ML

DATA copia;
SET origen;
WHERE ventas > 100000;
RUN;
MLWorks> datatype color = Red | Blue | Yellow;
datatype color = /tipo de color que se le puede asignar al tipo de dato
Blue |
Red |
Yellow
val Blue : color /evala y compara los valores declarados en el tipo de dato
val Red : color
val Yellow : color
MLWorks> Red;
val it : color = Red

Haskell

Scheme

Prelude> let fac n = if n == 0 then 1 else n *


fac (n-1)
/let es anidado lxicamente con mbito de lista, y mutuamente
recursivo de declaraciones
/if puede ser remplazado por la funcion
/then es el sumatorio de la funcion
/else es la otra opcin para remplazar la funcion o el valor
(define (factorial n)
(let loop ((fact 1) /let asigna nombre a resultados de subexpresiones
(n n))
(cond ((= n 0) fact)
(else (loop (* n fact) (- n 1)))))) /else la expresin {expresin}
(factorial 5)
;; => 120
(define (map f lst)
(do ((lst lst (cdr lst))
(res '() (cons (f (car lst)) res)))
((null? lst) (reverse res))))
(map (lambda (x) (* x x)) '(1 2 3 4))
;; => (1 4 9 16)

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 22

%%
%% declaraciones
%%
padrede('juan', 'maria'). % juan es padre de maria
padrede('pablo', 'juan'). % pablo es padre de juan
padrede('pablo', 'marcela'). % pablo es padre de marcela
padrede('carlos', 'debora'). % carlos es padre de debora

Prolog

% A es hijo de B si B es padre de A
hijode(A,B) :- padrede(B,A).
% A es abuelo de B si A es padre de C y C es padre B
abuelode(A,B) :padrede(A,C),
padrede(C,B).
% A y B son hermanos si el padre de A es tambin el padre de B y si A
y B no son lo mismo
hermanode(A,B) :padrede(C,A) ,
padrede(C,B),
A \== B.
% A y B son familiares si A es padre de B o A es hijo de B o A es
hermano de B
familiarde(A,B) :padrede(A,B).
familiarde(A,B) :hijode(A,B).
familiarde(A,B) :hermanode(A,B).

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 23

6.-CAMPO DE ACCION
(Solo Paradigma Lgico y Funcional)

PROGRAMACIN FUNCIONAL
MATLAB
Es un software muy usado en universidades y centros de investigacin y
desarrollo. En los ltimos aos ha aumentado el nmero de prestaciones, como la de
programar directamente procesadores digitales de seal o crear cdigo VHDL.
F#
A pesar de ser un miembro reciente de la familia Visual Studio, F# ha permitido que
muchos desarrolladores .NET.
F# es un lenguaje para trabajar con aplicaciones de interfaz de usuario grfica.

PL/SQL
PL/SQL (Procedural Language/Structured Query Language) es un lenguaje de
programacin incrustado en Oracle.
PL/SQL soportara todas las consultas, ya que la manipulacin de datos que se usa es
la misma que en SQL, incluyendo nuevas caractersticas:

El manejo de variables.
Estructuras modulares.
Estructuras de control de flujo y toma de decisiones.
Control de excepciones.

El lenguaje PL/SQL est incorporado en:

Servidor de la base de datos.

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 24

Herramientas de Oracle (Forms, Reports,...).

En un entorno de base de datos los programadores pueden construir bloques PL/SQL


para utilizarlos como procedimientos o funciones, o bien pueden escribir estos bloques
como parte de scripts SQL*Plus.
Los programas o paquetes de PL/SQL se pueden almacenar en la base de datos como
otro objeto, y todos los usuarios que estn autorizados tienen acceso a estos paquetes.
Los programas se ejecutan en el servidor para ahorrar recursos a los clientes.
Lisp
El Lisp fue creado originalmente como una notacin matemtica prctica para los
programas de computadora, basada en el clculo lambda de Alonzo Church. Se
convirti rpidamente en el lenguaje de programacin favorito en la investigacin
de la inteligencia artificial (AI). Como uno de los primeros lenguajes de
programacin, el Lisp fue pionero en muchas ideas en ciencias de la computacin,
incluyendo las estructuras de datos de rbol, el manejo de almacenamiento
automtico, tipos dinmicos, y el compilador auto contenido.

SAS
El lenguaje SAS opera principalmente sobre tablas de datos: puede leerlas,
transformarlas, combinarlas, resumirlas, crear informes a partir de ellas, etc. El
ncleo del lenguaje (conocido habitualmente como SAS Base) incluye:

Pasos data que permiten realizar operaciones sobre las filas de un conjunto de
datos.
Procedimientos de manipulacin de datos que permiten ordenar tablas, enlazarlas,
etc.
Un intrprete de SQL.
Un superlenguaje de macros.

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 25

ML
Los lenguajes de la familia ML se aplican principalmente en diseo y manipulacin de
lenguajes de programacin (compiladores, analizadores, demostradores de
teoremas), as como en bioinformtica, sistemas financieros, protocolos de
sincronizacin, etc.
Haskell

Haskell, un lenguaje puramente funcional ofrece:


o Un incremento sustancial de la productividad de los programas.
o Cdigo ms claro y ms corto y con un mantenimiento mejor.
o Una semntica de huecos ms pequea entre el programador y el
lenguaje.
o Tiempos de computacin ms cortos.

Haskell es un lenguaje de amplio espectro, apropiado para una gran variedad de


aplicaciones. Es particularmente apropiado para programas que necesitan ser
altamente modificados y mantenidos.
La vida de muchos productos software se basa en la especificacin, el diseo y el
mantenimiento y no en la programacin.
Los lenguajes funcionales son idneos para escribir especificaciones que actualmente
son ejecutadas (y, por lo tanto, probadas y depuradas).Tal especificacin es, por tanto,
el primer prototipo del programa final.
Una parte importante del lenguaje Haskell lo forma el sistema de tipos que es
utilizado para detectar errores en expresiones y definiciones de funcin.
Haskell
realiza un estudio comparativo con respecto a lenguajes de
programacin que son promovidos con gran impacto en la actualidad en los
ambientes: acadmico, industrial y cientfico.

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 26

Scheme

Sus principales caractersticas y su utilidad como herramienta para la enseanza de la


programacin y para el desarrollo de software en diferentes reas de:

Investigaciones
Cientficas
Mejorar programas ya existentes

Su diseo simple pero poderoso constituye uno de los mejores ejemplos de cmo debe
disearse un lenguaje de programacin, pues su semntica es sumamente clara y
flexible como para permitir la incorporacin de los paradigmas funcional, imperativo y
orientado a objetos.

PROGRAMACIN LGICA

Prolog

Es
un lenguaje para
programar
artefactos
electrnicos
mediante
el
paradigma lgico con tcnicas de produccin final interpretada. Es bastante conocido
en el rea de la Ingeniera Informtica para investigacin en Inteligencia Artificial.

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 27

7.-COMPILADORES
(Solo Paradigma Lgico y Funcional)

Compiladores

MATLAB Compiler 5.0

MATLAB
8.2
La
mayor
funcionalidad
de
lnea
de
comandos

MATLAB (MCR)

Visual F#

Visual Estudio

PL/SQL Developer

MATLAB

F#

Ampla sus posibilidades al


incorporar las siguientes
sentencias:
- Control condicional
- Ciclos

PL/SQL

Common Lisp
Desarrollado para estandarizar los
variantes divergentes de Lisp

Lisp

Programacin Lgica Y Funcional

KCL (Kyoto Common Lisp): es una


implementacin de Lisp. Est escrito
en C para ejecutarse bajo sistemas
operativos del estilo de Unix.
AKCL (Austin Kyoto Common Lisp): es
una coleccin de puertos, arreglos de
fallos y mejoras de rendimientos de
KCL.
CLiCC: Compila de Common Lisp a C.
Intencionado para ser un suplemento a
los sistemas CLISP para generar
aplicaciones portables. Para producir
un ejecutable el cdigo traducido en C
debe de ser enlazado con la librera

Armando Chvez Velazquez

Pgina 28

SAS

CLiCC de tiempo de ejecucin.


CLISP: este paquete incluye un
intrprete, compilador a bytecode,
librera de tiempo de ejecucin y
editor.
CMU Common Lisp: es un entorno de
programacin de Common Lisp de
potencia industrial y de dominio
pblico. Muchos de los cambios de
X3j13 han sido incorporados a CMU
CL.
Garnet: es un entorno de desarrollo de
interfaz para Common Lisp y X11.
Ayuda a crear interfaces grficos e
interactivos para tu software.
WCL:
una
implementacin
de
Common Lisp como una librera
compartida. WCL no es 100%
completo, pero si tiene un entorno
completamente
desarrollado
incluyendo cargado de ficheros
dinmicos y debugging.

LATTICE SAS/C

FLINT/ML
Es una representacin de codigo
mvil
seguro,
eeficiente
e
independiente de la plataforma.

ML

El Glasgow Haskell Compiler es un


cdigo abierto, compilador de
estado-of-the-art y un entorno
interactivo
para
el
lenguaje
funcional Haskell

Haskell

Scheme

Programacin Lgica Y Funcional

GHC

MzScheme
Subconjunto del paquete PLT
Scheme, que contiene MzScheme
y de la consola de aplicaciones.

Armando Chvez Velazquez

Pgina 29


Prolog

WI-Prolog
Entorno completo Prolog, es una
implementacin en cdigo abierto

PARADIGMAS DE PROGRAMACION ADICIONALES

Un lenguaje de programacin multiparadigma es el que soporta ms de un paradigma


de programacin. Segn lo describe Bjarne Stroustrup, permiten crear
programas usando ms de un estilo de programacin.
El objetivo en el diseo de estos lenguajes es permitir a los programadores utilizar el
mejor paradigma para cada trabajo, admitiendo que ninguno resuelve todos los
problemas de la forma ms fcil y eficiente posible.
Por ejemplo, lenguajes de programacin como C++, Genie, Delphi, Visual Basic o PHP,
combinan el paradigma imperativo con la orientacin a objetos. Incluso existen
lenguajes multiparadigma que permiten la mezcla de forma natural, como en el caso
de Oz, que tiene subconjuntos (particularidad de los lenguajes lgicos), y otras
caractersticas propias de lenguajes de programacin funcional y de orientacin a
objetos. Otro ejemplo son los lenguajes como Scheme (paradigma funcional)
o Prolog (paradigma lgico), que cuentan con estructuras repetitivas, propias del
paradigma imperativo.

Multiparadigma

Programacin Lgica Y Funcional

C++
Genie
Delphi
Visual Basic
PHP
Lxico
MATLAB
R
SAS
COBOL
RPG (OS/400)
LISP
Armando Chvez Velazquez

Pgina 30

Max/MSP
Emacs Lisp
Ruby
C
Perl
ML

Muchos de estos lenguajes de programacin no son puramente orientados a objetos,


sino que son hbridos que combinan la POO con otros paradigmas.
Al igual que C++, otros lenguajes, como OOCOBOL, OOLISP, OOPROLOG y Object
REXX, han sido creados aadiendo extensiones orientadas a objetos a un lenguaje de
programacin clsico.
Un nuevo paso en la abstraccin de paradigmas de programacin es la Programacin
Orientada a Aspectos (POA). Aunque es todava una metodologa en estado de
maduracin, cada vez atrae a ms investigadores e incluso proyectos comerciales en
todo el mundo.

Hbridos

Programacin Lgica Y Funcional

COBOL
Lisp
Prolog
Object REXX

Armando Chvez Velazquez

Pgina 31

BIBLIOGRAFIA

http://ciclodevidasoftware.wikispaces.com/Clasificacion+De+Los+Lenguajes+De
+Programacion

http://es.wikipedia.org/wiki/Programaci%C3%B3n_imperativa

http://es.wikipedia.org/wiki/Programaci%C3%B3n_funcional

http://es.wikipedia.org/wiki/Programaci%C3%B3n_orientada_a_objetos

http://es.wikipedia.org/wiki/Programaci%C3%B3n_l%C3%B3gica

http://www.redalyc.org/pdf/944/94401402.pdf

http://www.it.uc3m.es/jvillena/irc/practicas/estudios/Lenguajes_Logicos.pdf

http://es.wikipedia.org/wiki/Programaci%C3%B3n_dirigida_por_eventos

http://es.wikipedia.org/wiki/MATLAB

http://iimyo.forja.rediris.es/tutorial/programacion.html

http://www.ecured.cu/index.php/Lenguaje_de_Programaci%C3%B3n_F_Sharp

http://msdn.microsoft.com/es-es/library/dd233249.aspx

http://javierleal.wordpress.com/2009/08/27/paradigmas-de-programacion/

http://es.wikipedia.org/wiki/Logo_(lenguaje_de_programaci%C3%B3n)

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 32

http://es.wikipedia.org/wiki/PL/SQL

http://www.moodlecchazc.unam.mx/moodleccha/mod/book/view.php?id=6529&c
hapterid=124

http://www.sistemas.frba.utn.edu.ar/index.php/academica/plan95mnu/2anio/127952026-paradigmas-de-programacion.html

http://es.tldp.org/COMO-INSFLUG/COMOs/Lenguajes-ProgramacionminiCOMO/Lenguajes-Programacion-miniCOMO-2.html

http://es.wikipedia.org/wiki/Lenguaje_Ladder

http://es.wikipedia.org/wiki/Tcl

http://www.usmp.edu.pe/publicaciones/boletin/fia/info18/evolucionRPG.htm

http://www.puce.edu.ec/sitios/documentos_DGA//1_3_Q021_201202_16142_1705302659_T_1.pdf

http://www.unsam.edu.ar/escuelas/ciencia/alumnos/tutorial_matlab_tdi.pdf

http://www.mathworks.com/help/matlab/data-types_data-types.html

http://dsp1.materia.unsl.edu.ar/Introduccion%20Transparencias.pdf

https://lists.ourproject.org/pipermail/ipsausmain/attachments/20101125/6d26228f/attachment-0001.pdf

https://schema.org/docs/documents.html

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 33

http://loshijosdelagrange.files.wordpress.com/2012/11/guia-rc3a1pida-haskell.pdf

http://es.wikipedia.org/wiki/Meta_Lenguaje

http://www.cs.cmu.edu/~rwh/smlbook/book.pdf

http://es.wikipedia.org/wiki/PL/SQL

http://msdn.microsoft.com/es-es/library/4xwz0t37(v=vs.110).aspx

http://es.wikipedia.org/wiki/Tipo_de_dato

http://es.wikipedia.org/wiki/Haskell

http://sistemasumma.com/2011/09/04/tipos-de-datos-en-haskell/

http://msdn.microsoft.com/es-es/library/ms187752.aspx

http://es.wikipedia.org/wiki/Prolog

http://www.iit.upcomillas.es/palacios/matlab/curso_matlab.pdf

http://www.urologoscolima.com/publicaciones/Tutorial%20de%20Prolog.pdf

http://www.ecured.cu/index.php/Common_Lisp

http://dc.exa.unrc.edu.ar/staff/fbavera/papers/cc_jiio03.pdf

Libro

Introduccin rpida a Matlab y Simulink para ciencia e ingeniera

Programacin Lgica Y Funcional

Armando Chvez Velazquez

Pgina 34