PROGRAMACIÓN LÓGICA Y FUNCIONAL
La Programación Lógica y
Funcional, es una asignatura que requiere tener conocimientos esenciales acerca
de los lenguajes lógicos y funcionales de la inteligencia artificial,
incluyendo la metodología y los aspectos relativos a la codificación, con el fin
de ampliar el conocimiento de tecnologías alternativas para el desarrollo de
sistemas automatizados y la implementación de agentes inteligentes.
PROGRAMACIÓN LÓGICA
La programación lógica consiste en la aplicación del corpus
de conocimiento sobre lógica para el diseño de lenguajes de programación; no
debe confundirse con la disciplina de la lógica computacional, es un tipo de paradigmas de programación dentro del paradigma de
programación declarativa. El resto de los subparadigmas de programación dentro
de la programación declarativa son: programación funcional, programación basada
en restricciones, programas DSL (de dominio específico) e híbridos. La
programación lógica gira en torno al concepto de predicado, o relación entre
elementos.
PROGRAMACIÓN FUNCIONAL
Es un paradigma de programación declarativa basado en la
utilización de funciones aritméticas que no maneja datos mutables o de estado.
Enfatiza la aplicación de funciones, en contraste con el estilo de programación
imperativa, que enfatiza los cambios de estado. La programación funcional tiene
sus raíces en el cálculo lambda, un sistema formal desarrollado en los 1930s
para investigar la definición de función, la aplicación de las funciones y la
recursión. Muchos lenguajes de programación funcionales pueden ser vistos como
elaboraciones del cálculo lambda, La programación
dirigida por eventos es la base de lo que llamamos interfaz de usuario, aunque
puede emplearse para desarrollar interfaces entre componentes de Software como
módulos del núcleo.
La programación lógica consiste en la aplicación del corpus
de conocimiento sobre lógica para el diseño de lenguajes de programación; no
debe confundirse con la disciplina de la lógica computacional, es un tipo de paradigmas de programación dentro del paradigma de
programación declarativa. El resto de los subparadigmas de programación dentro
de la programación declarativa son: programación funcional, programación basada
en restricciones, programas DSL (de dominio específico) e híbridos. La
programación lógica gira en torno al concepto de predicado, o relación entre
elementos.
Es un paradigma de programación declarativa basado en la
utilización de funciones aritméticas que no maneja datos mutables o de estado.
Enfatiza la aplicación de funciones, en contraste con el estilo de programación
imperativa, que enfatiza los cambios de estado. La programación funcional tiene
sus raíces en el cálculo lambda, un sistema formal desarrollado en los 1930s
para investigar la definición de función, la aplicación de las funciones y la
recursión. Muchos lenguajes de programación funcionales pueden ser vistos como
elaboraciones del cálculo lambda, La programación
dirigida por eventos es la base de lo que llamamos interfaz de usuario, aunque
puede emplearse para desarrollar interfaces entre componentes de Software como
módulos del núcleo.
No comments:
Post a Comment