Hispanopedia WikiLa programación lógica funcional es la combinación, en un único lenguaje de programación , de los paradigmas de la programación funcional y la programación lógica . [ 1 ] Este estilo de programación está representado por varios lenguajes de programación , incluidos Curry y Mercury . [ 2 ] [ 1 ] Un ejemplo más reciente es Verse . [ 3 ] Una revista dedicada a la integración de la programación funcional y lógica fue publicada por MIT Press y la Asociación Europea de Lenguajes y Sistemas de Programación entre 1995 y 2008. [ 4 ]
Referencias
- 1 2 Antoy, Sergio y Michael Hanus. " Programación lógica funcional ". Commun. ACM 53.4 (2010): 74–85.
- ↑ Hanus, Michael, Herbert Kuchen y Juan José Moreno-Navarro. « Curry: Un lenguaje de lógica verdaderamente funcional ». Actas de ILPS. Vol. 95. Núm. 5. 1995.
- ↑ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. " El cálculo de versos: un cálculo fundamental para la programación lógica funcional ."
- ↑ Kuchen, Herbert. "The Journal of Functional and Logic Programming" . Universidad de Münster .
Enlaces externos
- Programación lógica funcional en la Universidad de Kiel.
- Biblioteca "func" para SWI-Prolog
Categorías :
- Programación funcional
- Programación lógica
- paradigmas de programación
- Lenguajes de programación lógica funcional
- Temas básicos de lenguajes de programación
