Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword
Like this
50Activity
×
0 of .
Results for:
No results containing your search query
P. 1
Lenguaje de programación lógica y funcional

Lenguaje de programación lógica y funcional

Ratings:

4.0

(1)
|Views: 15,619|Likes:
Published by ColectivoSolitario

More info:

Published by: ColectivoSolitario on May 03, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, PPT, TXT or read online from Scribd
See More
See less

08/01/2013

pdf

text

original

 
Lenguaje de programación
 
Lenguaje de programaciónlógica
 
gica
LaLa
programación lógicaprogramación lógica
consiste en laconsiste en laaplicación delaplicación del
corpuscorpus
de conocimientode conocimientosobresobrelógicalógicapara el diseño depara el diseño delenguajes de programaciónlenguajes de programación. La. Laprogramación lógica comprende dosprogramación lógica comprende dosparadigmas de programaciónparadigmas de programación: la: laprogramación declarativaprogramación declarativay lay laprogramación funcionalprogramación funcional..
 
Campos de aplicaciónCampos de aplicación
Sistemas expertosSistemas expertos, donde un, donde unsistema de informaciónsistema de informaciónimita lasimita lasrecomendaciones de un experto sobre algúnrecomendaciones de un experto sobre algúndominio de conocimiento.dominio de conocimiento.Demostración automáticaDemostración automáticade teoremas, donde unde teoremas, donde unprograma genera nuevos teoremas sobre unaprograma genera nuevos teoremas sobre unateoría existente.teoría existente.Reconocimiento deReconocimiento delenguaje naturallenguaje natural, donde un, donde unprograma es capaz de comprender (conprograma es capaz de comprender (conlimitaciones) la información contenida en unalimitaciones) la información contenida en unaexpresión lingüística humana.expresión lingüística humana.Etc.Etc.
 
FundamentosFundamentos
La mayoría de los lenguajes deLa mayoría de los lenguajes deprogramación lógica se basan en laprogramación lógica se basan en lateoría lógica de primer ordenteoría lógica de primer orden, aunque, aunquetambién incorporan algunostambién incorporan algunoscomportamientos de orden superior. Encomportamientos de orden superior. Eneste sentido, destacan los lenguajeseste sentido, destacan los lenguajesfuncionales, ya que se basan en elfuncionales, ya que se basan en elcálculo lambdacálculo lambda, que es la única teoría, que es la única teoríalógica de orden superior que eslógica de orden superior que esdemostradamentedemostradamentecomputablecomputable(hasta el(hasta elmomento).momento).

Activity (50)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Andrey Quesada liked this
Erreco Nache liked this
Martinez Javier liked this
Minerva Brito liked this
Alonso Leyva liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->