Historia prolog

Solo disponible en BuenasTareas
  • Páginas : 3 (623 palabras )
  • Descarga(s) : 0
  • Publicado : 29 de agosto de 2012
Leer documento completo
Vista previa del texto
Prolog es un lenguaje utilizado para implementar inteligencia artificial y sistemas expertos. Gran parte de su éxito se debe a su conveniencia por ser código abierto y se obtiene fácilmente enInternet, además de su capacidad de deducción de respuestas para las consultas realizadas. Prolog es un lenguaje simple y fácil de programar, hasta para principiantes, pero sus motores de inferencia nosiempre son eficientes. Sus aplicaciones varían desde sistemas ambientales hasta la resolución de funciones automatizadas.

HISTORIA
Una de las preocupaciones más tempranas de la computación de losaños cincuenta fue la posibilidad de hacer programas que llevaran a cabo demostraciones automáticas de teoremas. Así empezaron los primeros trabajos de inteligencia artificial que más de veinte añosdespués dieron lugar al primer lenguaje de programación que contempla, como parte del intérprete, los mecanismos de inferencia necesarios para la demostración automática. Este primer lenguaje está basado enel formalismo matemático de la Lógica de Primer Orden y ha dado inicio a un nuevo y activo campo de investigación entre las matemáticas y la computación que se ha denominado la Programación Lógica.Estos mecanismos de prueba fueron trabajados con mucho entusiasmo durante una época, pero, por su ineficiencia, fueron relegados hasta el nacimiento de PROLOG, ocurrido en 1970 en la Universidad deMarsella, Francia, en el seno de un grupo de investigación en el campo de la Inteligencia Artificial. La Programación Lógica tiene sus orígenes más cercanos en los trabajos de prueba automática deteoremas de los años sesenta. J. A. Robinson propone en 1965 una regla de inferencia a la que llama resolución, mediante la cual la demostración de un teorema puede ser llevada a cabo de manera automática.La resolución es una regla que se aplica sobre cierto tipo de fórmulas del Cálculo de Predicados de Primer Orden, llamadas cláusulas y la demostración de teoremas bajo esta regla de inferencia se...
tracking img