Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 1
Unidad 1
En Haskell existen dos tipos de nmeros enteros: el tipo Int de los enteros de precisin
limitada, y el tipo Interger de los enteros de precisin arbitraria.
------------------------------------------------------------------------------------------------
-------------------------------
PARADIGMA DE PROGRAMACIN
Programacin lgica
La programacin lgica consiste en la aplicacin del corpus de conocimiento sobre lgica para el
diseo de lenguajes de programacin; no debe confundirse con la disciplina de la lgica
computacional, es un tipo de paradigmas de programacin dentro del paradigma de
programacin declarativa. El resto de los subparadigmas de programacin dentro de la
programacin declarativa son: programacin funcional, programacin basada en restricciones,
programas DSL (de dominio especfico) e hbridos. La programacin lgica gira en torno al
concepto de predicado, o relacin entre elementos.
Programacin funcional