La programación lógica funcional es la combinación, en un solo 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]
MIT Press y la Asociación Europea de Lenguajes y Sistemas de Programación publicaron una revista dedicada a la integración de la programación lógica y funcional entre 1995 y 2008. [3]
Referencias
- ^ a b Antoy, Sergio y Michael Hanus. " Programación lógica funcional ". Comun. ACM 53.4 (2010): 74-85.
- ^ Hanus, Michael, Herbert Kuchen y Juan José Moreno-Navarro. " Curry: un lenguaje lógico verdaderamente funcional ". Proc. ILPS. Vol. 95. No. 5. 1995.
- ^ Kuchen, Herbert. "La Revista de Programación Lógica y Funcional" . Universidad de Münster .