Usos de Prolog

Prolog es un potente lenguaje de programación nueva con aplicaciones en la vanguardia de la investigación científica. Fue desarrollado en Francia por los investigadores interesados ​​en la traducción automática automática entre las lenguas naturales. A continuación, se refina en Escocia por los matemáticos interesados ​​en los programas de ordenador que prueban automáticamente teoremas matemáticos. Fue elegido posteriormente por los japoneses para el idioma oficial de la quinta generación de Inteligencia Artificial del Proyecto.

La traducción de lenguaje natural

El uso de Prolog consiste en escribir una serie de declaraciones que describen el conocimiento en un determinado dominio restringido y luego hacer preguntas acerca de este dominio. Prolog busca automáticamente a través de las declaraciones y viene con todas las respuestas posibles que sean compatibles con la serie de declaraciones. Si las declaraciones son definiciones y reglas gramaticales, Prolog ser que tome una sentencia candidato y decidir si se trata de una sentencia válida en términos de las definiciones y reglas del lenguaje. Un programa un poco más sofisticado volvería una traducción de la frase, si es válido.

Proving automática Teorema

Si la base de datos de los estados consiste en relaciones matemáticas en lugar de los gramaticales, puede convertir un teorema como una cuestión y el sistema Prolog responderá con un "sí" o "no" en función de si el teorema es consistente con la base de datos de hechos y reglas. Mostrando una declaración es consistente con un conjunto de reglas y hechos es la misma que la prueba de un teorema matemático o lógico propuesto para ver que es válido. Prolog entiende ni las matemáticas ni la lógica - que sólo entiende la consistencia.

La minería de datos

Prolog, por su naturaleza, establece una base de datos. Debido a la forma de Prolog expresiones contienen las variables, una pregunta sobre la base de datos puede devolver valores deseados. Por ejemplo, la consulta "Bigger_than_a_breadbox (X)" devolverá un "no" si no hay nada en la base de datos es más grande que una caja de pan. Si algo es, Prolog volverá "sí", así como una lista de todas las cosas en la base de datos que causó una "coincidencia". Habrá una lista como: X = Godzilla; X = El Empire State Building; X = A Volkswagen y así sucesivamente, dependiendo de los contenidos de la base de datos.

robótica

Los robots deben pedir constantemente la misma pregunta: "¿Qué hago ahora" La base de datos que se utiliza para responder a esta pregunta proviene de tres fuentes: los sensores, la memoria y los comandos de los seres humanos. La pregunta sigue siendo la misma, pero la base de datos que se utiliza para responder a la pregunta cambia constantemente. Una de las ventajas del uso de Prolog con un robot es que varios prólogos pueden ejecutar al mismo tiempo en la misma base de datos. Los ojos pueden ejecutar uno de prólogo, mientras que las piernas se ejecutan otra prólogo sin ninguna interferencia, ya que ni cambia la base de datos.