Programación lógica - Historial de revisiones

Carlos idict: Texto reemplazado: «
» por «»

2019-08-31T03:22:13Z

Texto reemplazado: «<div align="justify">» por «»

Reynier idict: /* Lógica de primer orden */

2014-07-29T17:59:27Z

‎Lógica de primer orden

Mayte ciget.cfg: /* Antecedentes */

2012-02-09T02:25:35Z

‎Antecedentes

Iosneisy: /* Lógica de primer orden */

2011-03-15T20:01:48Z

‎Lógica de primer orden

Iosneisy en 19:56 15 mar 2011

2011-03-15T19:56:43Z

Iosneisy: /* Entornos de desarrollo */

2011-03-15T19:44:29Z

‎Entornos de desarrollo

Iosneisy: /* Véase también */

2011-03-15T19:36:22Z

‎Véase también

Iosneisy: /* Enlaces externos */

2011-03-15T19:31:17Z

‎Enlaces externos

Iosneisy: Programación Lógica trasladada a Programación lógica

2011-03-15T13:59:20Z

Programación Lógica trasladada a Programación lógica

Erick06115 jc.hlg en 03:51 15 mar 2011

2011-03-15T03:51:30Z

← Revisión anterior		Revisión del 03:22 31 ago 2019
Línea 1:		Línea 1:
−	~~<div align="justify">~~	+
	{{Definición\|Nombre=Programación Lógica\|imagen=Lenguajes.png ‎ \|concepto=La programación lógica es un tipo de [[paradigmas de programación]] dentro del paradigma de [[programación declarativa]]. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. Se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.}}		{{Definición\|Nombre=Programación Lógica\|imagen=Lenguajes.png ‎ \|concepto=La programación lógica es un tipo de [[paradigmas de programación]] dentro del paradigma de [[programación declarativa]]. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. Se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.}}

@@ Línea 76: / Línea 76: @@
   Ejemplos
    [1, 2, 3]
-   [a, 3, [3], [[3]]]
+   <nowiki>[a, 3, [3], [[3]]]</nowiki>
-   [[X, Y|[2,3]]
+   <nowiki>[[X, Y|[2,3]]</nowiki>
-   [[X|Y], Z, [XW]]
+   <nowiki>[[X|Y], Z, [X|W]]</nowiki>
 <b>Fórmulas</b>.

@@ Línea 6: / Línea 6: @@
 ==Antecedentes==
-Históricamente, los [[ordenadores]] se han programado utilizando [[lenguajes]] muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente su propósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la [[Programación imperativa]] han evolucionado de manera que ya no son tan crípticos.
+Históricamente, los [[ordenador]]es se han programado utilizando [[lenguajes]] muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente su propósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la [[Programación imperativa]] han evolucionado de manera que ya no son tan crípticos.
 En cambio, la [[lógica matemática]] es la manera más sencilla, para el intelecto humano, de expresar formalmente problemas complejos y de resolverlos mediante la aplicación de reglas, hipótesis y teoremas. De ahí que el concepto de <b><i>"programación lógica"</i></b> resulte atractivo en diversos campos donde la programación tradicional es un fracaso.
@@ Línea 38: / Línea 38: @@
 La programación lógica también se utiliza en aplicaciones más "mundanas" pero de manera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.
 ==Fundamentos==
 La mayoría de los lenguajes de programación lógica se basan en la <b>teoría lógica de primer orden</b>, aunque también incorporan algunos comportamientos de orden superior. En este sentido, destacan los lenguajes funcionales, ya que se basan en el cálculo lambda, que es la única teoría lógica de orden superior que es demostradamente computable (hasta el momento).

@@ Línea 66: / Línea 66: @@
 x, a, f(x), g(a, f(b)) son términos
-En nuestras consideraciones posteriores jugará un papel importante una clase de términos denominados listas, que en la programación lógica se presenta con la notación:
+En consideraciones posteriores jugará un papel importante una clase de términos denominados listas, que en la programación lógica se presenta con la notación:
 [ t1, t2, ..., tn ]
@@ Línea 120: / Línea 120: @@
 El estado de cada uno de los semáforos (verde, rojo o ámbar) constituye los hechos del mundo real. El programa en sí consiste en unas pocas reglas de sentido común: determinados semáforos no pueden permanecer simultáneamente en verde, un semáforo solamente puede transitar de verde a ámbar y de ámbar a rojo, etc. La hipótesis es el estado en el que deberían estar cada uno de los semáforos en el siguiente instante de tiempo.
 Éste es un ejemplo imposible de resolver mediante programación tradicional, ya que la lógica subyacente al comportamiento de los semáforos en su conjunto queda enmascarada por simples órdenes imperativas del tipo "cambiar color de tal o cual semáforo".
 ==Entornos de desarrollo==
 El lenguaje de programación lógica por excelencia es [[Prolog]], que cuenta con diversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre [[programación con restricciones]]), que posibilita la resolución de [[ecuaciones]] lineales además de la demostración de hipótesis.

@@ Línea 1: / Línea 1: @@
 <div align="justify">
 {{Definición|Nombre=Programación Lógica|imagen=Lenguajes.png ‎ |concepto=La programación lógica es un tipo de [[paradigmas de programación]] dentro del paradigma de [[programación declarativa]].  La programación lógica gira en torno al concepto de predicado, o relación entre elementos. Se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.}}
-<b>La programación Lógica </b>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]].
+'''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]].
-La programación lógica 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. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.
+La programación lógica 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. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.
-==Introducción==
 Históricamente, los [[ordenadores]] se han programado utilizando [[lenguajes]] muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente su propósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la [[Programación imperativa]] han evolucionado de manera que ya no son tan crípticos.
 En cambio, la [[lógica matemática]] es la manera más sencilla, para el intelecto humano, de expresar formalmente problemas complejos y de resolverlos mediante la aplicación de reglas, hipótesis y teoremas. De ahí que el concepto de <b><i>"programación lógica"</i></b> resulte atractivo en diversos campos donde la programación tradicional es un fracaso.
 La lógica ha estado muy relacionada históricamente con las computadoras y los lenguajes de programación. Presentemos algunos ejemplos:

@@ Línea 131: / Línea 131: @@
 Este último sea posiblemente el mejor libro de programación lógica en español, ya que también contiene las bases de lógica matemática.
 ==Véase también==
-* Paradigma de programación.
+* [[Paradigma de programación]].
-* Programación con restricciones.
+* [[Programación con restricciones]].
-* Programación funcional.
+* [[Programación funcional]].
-* Lógica matemática.
+* [[Lógica matemática]].
 ==Enlaces externos==
 *[http://www.clip.dia.fi.upm.es/ CLIP group, Universidad Politécnica de Madrid.]

@@ Línea 136: / Línea 136: @@
 * Lógica matemática.
 ==Enlaces externos==
-* [[http://www.clip.dia.fi.upm.es/ CLIP group, Universidad Politécnica de Madrid.]]
+*[http://www.clip.dia.fi.upm.es/ CLIP group, Universidad Politécnica de Madrid.]
-*[[http://vl.fmnet.info/logic-prog/ Logic Programming Virtual Library entry (en inglés).]]
+*[http://vl.fmnet.info/logic-prog/ Logic Programming Virtual Library entry (en inglés).]
-* [[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/ Association for Logic Programming (ALP) (en inglés).]]
+*[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/ Association for Logic Programming (ALP) (en inglés).]
 </div>
 [[Categoría:Lenguajes_de_programación]]

← Revisión anterior	Revisión del 13:59 15 mar 2011
(Sin diferencias)