Prolog (lenguaje de programación) - Historial de revisiones

Carlos idict: Texto reemplazado: «
» por «»

2019-08-31T04:03:21Z

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

Rosarino: /* Fuentes */

2019-02-11T13:45:50Z

‎Fuentes

Rosarino: Rosarino trasladó la página Prolog (Lenguaje de programación) a Prolog (lenguaje de programación): corrijo mayúsculas

2019-02-11T13:43:28Z

Rosarino trasladó la página Prolog (Lenguaje de programación) a Prolog (lenguaje de programación): corrijo mayúsculas

Carlos idict: Texto reemplazado: «Category:Inteligencia_Artificial» por «Categoría:Inteligencia artificial»

2018-03-13T15:55:17Z

Texto reemplazado: «Category:Inteligencia_Artificial» por «Categoría:Inteligencia artificial»

Reynier idict en 20:38 13 may 2011

2011-05-13T20:38:29Z

Reynier idict en 20:32 13 may 2011

2011-05-13T20:32:39Z

Mostrar los cambios

Reynier idict: Lenguaje de programación lógico e interpretado (Prolog) trasladada a Prolog (Lenguaje de programación)

2011-05-13T19:56:46Z

Lenguaje de programación lógico e interpretado (Prolog) trasladada a Prolog (Lenguaje de programación)

Diamela jc.bayamo8 en 19:31 4 may 2011

2011-05-04T19:31:45Z

Karpio jc.yara3 en 20:28 25 abr 2011

2011-04-25T20:28:28Z

Karpio jc.yara3 en 20:25 25 abr 2011

2011-04-25T20:25:44Z

@@ Línea 1: / Línea 1: @@
-<div align="justify">
 {{Ficha Software
 |nombre= Lenguaje de programación lógico e interpretado (Prolog)

@@ Línea 144: / Línea 144: @@
 *[http://www.prolog.com Prolog]
 </div>
-[[Categoría:Inteligencia artificial]] [[Category:Lenguajes_de_descripción]] [[Category:Lenguajes_de_programación_gráficos]] [[Category:Lenguajes_interpretados]]

@@ Línea 144: / Línea 144: @@
 *[http://www.prolog.com Prolog]
 </div>
-[[Category:Inteligencia_Artificial]] [[Category:Lenguajes_de_descripción]] [[Category:Lenguajes_de_programación_gráficos]] [[Category:Lenguajes_interpretados]]
+[[Categoría:Inteligencia artificial]] [[Category:Lenguajes_de_descripción]] [[Category:Lenguajes_de_programación_gráficos]] [[Category:Lenguajes_interpretados]]

@@ Línea 139: / Línea 139: @@
 *Prolog de Edimburgo, Manual de Bowen ([[1982|1982]]) o el
 *Programming in Prolog de Clocksin y Mellish.
-*[http://www.programatium.com/prolog.htm.]
+*[http://www.programatium.com/prolog.htm. Programacion Manuales tutoriales html bases datos php asp visual basic java vb sql mysql oracle..]
-*[http://www.tutorial-enlace.net/tutorial-Prolog-16081.html]
+*[http://www.tutorial-enlace.net/tutorial-Prolog-16081.html TUTORIAL TEORIA, Prolog]
-*[http://www.solomanuales.org/]
+*[http://www.solomanuales.org/ Manuales]
-*[http://www.prolog.com]
+*[http://www.prolog.com Prolog]
 </div>
 [[Category:Inteligencia_Artificial]] [[Category:Lenguajes_de_descripción]] [[Category:Lenguajes_de_programación_gráficos]] [[Category:Lenguajes_interpretados]]

@@ Línea 20: / Línea 20: @@
 }}
 <div align="justify">
-Lenguaje de programación lógico e interpretado (Prolog). La [[Programación lógica|programación lógica]] es un paradigma de los [[Lenguajes de programación|lenguajes de programación]] en el cual los [[Programas y Algoritmos en la solución de problemas|programas]] se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. Una representación declarativa es aquélla en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG.
+'''Lenguaje de programación lógico e interpretado (Prolog)'''. La [[Programación lógica|programación lógica]] es un paradigma de los [[Lenguajes de programación|lenguajes de programación]] en el cual los [[Programas y Algoritmos en la solución de problemas|programas]] se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. Una representación declarativa es aquélla en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG.
 == Historia  ==
-Prolog es un [[Lenguaje de programación|lenguaje de programación]] simple pero poderoso desarrollado en la Universidad de Aix-Marseille (Marsella, [[Francia|Francia)]] por los profesores Alain Colmerauer y Philippe Roussel. como una herramienta práctica para programación lógica. Nació de un proyecto que no tenía como objetivo la implementación de un l[[Lenguaje de programación|enguaje de programación]], sino el procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 1971 y apareciendo la versión definitiva en 1972. Esta primera versión de Prolog fue programada en [[ALGOL|ALGOL]] W.Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado.<br>Si bien en un principio se trataba de un lenguaje de uso reducido, la aparición de intérpretes del mismo para microordenadores de 8 bits (ej: micro-PROLOG) y para ordenadores domésticos de 16 bits (ej: [[Turbo Boost|Turbo]] PROLOG de Borland, entre otros muchos) a lo largo de la década de 1980 contribuyó notablemente a su popularización.Otro importante factor en su difusión fue la adopción del mismo para el desarrollo del proyecto de la quinta generación de computadoras a principios de la década de los 80, en cuyo contexto se desarrolló la implementación paralelizada del lenguaje llamada KL1 y del que deriva parte del desarrollo moderno de Prolog. Las primeras versiones del lenguaje diferían, en sus diferentes implementaciones, en muchos aspectos de sus sintaxis, empleándose mayormente como forma normalizada el dialecto propuesto por la Universidad de Edimburgo , hasta que en 1995 se estableció un estándar ISO (ISO/IEC 13211-1), llamado ISO-Prolog.
+Prolog es un [[Lenguaje de programación|lenguaje de programación]] simple pero poderoso desarrollado en la Universidad de Aix-Marseille (Marsella, [[Francia|Francia)]] por los profesores [[Alain Colmerauer|Alain Colmerauer]] y [[Philippe Roussel|Philippe Roussel]]. como una herramienta práctica para programación lógica. Nació de un proyecto que no tenía como objetivo la implementación de un l[[Lenguaje de programación|enguaje de programación]], sino el procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de [[1971|1971]] y apareciendo la versión definitiva en [[1972|1972]]. Esta primera versión de Prolog fue programada en [[ALGOL|ALGOL]] W.Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en [[1983|1983]], David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado.
 == El entorno de desarrollo Prolog  ==
@@ Línea 69: / Línea 71: @@
 *Las reglas finalizan con un punto (".").
-La cabeza en una regla PROLOG corresponde al consecuente de una implicación lógica, y el cuerpo al antecedente. Este hecho puede conducir a errores de representación. Supongamos el siguiente razonamiento lógico:<br>'''tiempo(lluvioso) ----&gt; suelo(mojado)<br>suelo(mojado) '''<br>Que el suelo está, mojado, es una condición suficiente de que el tiempo sea lluvioso, pero no necesaria. Por lo tanto, a partir de ese hecho, no podemos deducir mediante la implicación, que está, lloviendo (pueden haber regado las calles). La representación correcta en PROLOG, sería:<br>'''suelo(mojado)&nbsp;:- tiempo(lluvioso).<br>suelo(mojado). '''<br>Adviértase que la regla está "al revés". Esto es así por el mecanismo de deducción hacia atrás que emplea PROLOG. Si cometiéramos el error de representarla como:<br>'''tiempo(lluvioso)&nbsp;:- suelo(mojado).<br>suelo(mojado). '''<br>PROLOG, partiendo del hecho de que el suelo está mojado, deduciría incorrectamente que el tiempo es lluvioso. Para generalizar una relación entre objetos mediante una regla, utilizaremos variables. Por ejemplo: <br>Representación lógica Representación PROLOG<br>'''es_un_coche(X) ----&gt; tiene(X,ruedas)'''
+La cabeza en una regla PROLOG corresponde al consecuente de una implicación lógica, y el cuerpo al antecedente. Este hecho puede conducir a errores de representación. Supongamos el siguiente razonamiento lógico:<br>'''tiempo(lluvioso) ----&gt; suelo(mojado)<br>suelo(mojado) '''
-'''tiene(X,ruedas)&nbsp;:- es_un_coche(X).'''<br>Con esta regla generalizamos el hecho de que cualquier objeto que sea un coche, tendrá ruedas. Al igual que antes, el hecho de que un objeto tenga ruedas, no es una condición suficiente de que sea un coche. Por lo tanto la representación inversa sería incorrecta.
+Con esta regla generalizamos el hecho de que cualquier objeto que sea un coche, tendrá ruedas. Al igual que antes, el hecho de que un objeto tenga ruedas, no es una condición suficiente de que sea un coche. Por lo tanto la representación inversa sería incorrecta.
 == Programando en Prolog  ==
@@ Línea 117: / Línea 133: @@
 *BERGIN, Thomas J. y GIBSON, Richard G., History of Programming Languages II,<br>
 *Kowalski, R. A.. The early years of logic programming.<br>
-*Prolog de Edimburgo, Manual de Bowen (1982) o el <br>
+*Prolog de Edimburgo, Manual de Bowen ([[1982|1982]]) o el <br>
 *Programming in Prolog de Clocksin y Mellish.<br>
 *[http://www.programatium.com/prolog.htm. http://www.programatium.com/prolog.htm.]<br>

← Revisión anterior	Revisión del 13:43 11 feb 2019
(Sin diferencias)

← Revisión anterior	Revisión del 19:56 13 may 2011
(Sin diferencias)

@@ Línea 1: / Línea 1: @@
 {{Ficha Software
-|nombre= Lenguaje de Programación Lógico e Interpretado
+|nombre= Lenguaje de programación lógico e interpretado (Prolog)
 |imagen= PROLOG.jpeg
 |tamaño=
@@ Línea 9: / Línea 9: @@
 |desarrollador= "Alain Colmerauer y Philippe Roussel"
 |modelo de desarrollo=
-|lanzamiento inicial= 1971
+|lanzamiento inicial=
 |última versión estable=
 |núcleo=

← Revisión anterior		Revisión del 20:25 25 abr 2011
Línea 1:		Línea 1:
−	~~<div align~~="~~justify~~"~~>{{Definición~~}}~~[[Image:PROLOG.jpeg]] </div>~~<div align="justify">Lenguaje de programación lógico e interpretado (Prolog). La [[Programación lógica\|programación lógica]] es un paradigma de los [[Lenguajes de programación\|lenguajes de programación]] en el cual los [[Programas y Algoritmos en la solución de problemas\|programas]] se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. Una representación declarativa es aquélla en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG.	+	{{Ficha Software
		+	\|nombre= Lenguaje de Programación Lógico e Interpretado
		+	\|imagen= PROLOG.jpeg
		+	\|tamaño=
		+	\|descripción=
		+	\|imagen2=
		+	\|tamaño2=
		+	\|descripción2=
		+	\|desarrollador= "Alain Colmerauer y Philippe Roussel"
		+	\|modelo de desarrollo=
		+	\|lanzamiento inicial= 1971
		+	\|última versión estable=
		+	\|núcleo=
		+	\|tipo de núcleo=
		+	\|plataformas soportadas=
		+	\|idioma=
		+	\|licencia=
		+	\|premios=
		+	\|web=
		+	}}
		+	<div align="justify">
		+	Lenguaje de programación lógico e interpretado (Prolog). La [[Programación lógica\|programación lógica]] es un paradigma de los [[Lenguajes de programación\|lenguajes de programación]] en el cual los [[Programas y Algoritmos en la solución de problemas\|programas]] se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. Una representación declarativa es aquélla en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG.
		+
	== Historia ==		== Historia ==