Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .
Look up keyword
Like this
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



|Views: 6,257|Likes:
Published by ColectivoSolitario

More info:

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


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





Lenguaje de programación
Lenguaje de programaciónlógica
programación lógicaprogramación lógica
consiste en laconsiste en laaplicación delaplicación del
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.
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
Sayuri Naomi Mota liked this
Luna Nantiari Black liked this
Martinez Javier liked this
Minerva Brito liked this
Alberto Cortes liked this
Alonso Leyva liked this
Alonso Leyva liked this

You're Reading a Free Preview

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