Prolog es un nuevo y poderoso lenguaje de programación de aplicaciones en la vanguardia de la investigación científica. Fue desarrollado en Francia por los investigadores interesados ​​en la traducción automática de la máquina entre los lenguajes naturales . Luego se perfeccionó en Escocia por los matemáticos interesados ​​en programas informáticos que prueban automáticamente teoremas matemáticos. Posteriormente fue elegido por los japoneses por el idioma oficial de quinta generación de Inteligencia Artificial del Proyecto. Natural Language Translation

Usando Prolog trata de escribir una serie de declaraciones que describen los conocimientos en un determinado dominio restringido y luego hacer preguntas acerca de este dominio . Prolog busca automáticamente a través de los estados y viene con todas las respuestas posibles que sean compatibles con la serie de declaraciones. Si los estados son las definiciones y reglas gramaticales , Prolog puede tomar una sentencia candidatos y decidir si se trata de una sentencia válida en cuanto a las definiciones y normas de la lengua. Un programa un poco más sofisticado volvería una traducción de la frase si es válida .
Demostración Automática

Si la base de datos de estados consiste en relaciones matemáticas en lugar de gramática queridos, pueden lanzar 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 los hechos y las reglas. Mostrando una declaración es consistente con un conjunto de reglas y hechos es la misma como prueba de un teorema matemático o lógico propuesto para ver que es válida . Prolog entiende ni las matemáticas ni la lógica - . Sólo entiende la coherencia
Data Mining

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

Robots constantemente deben hacerse 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 se pueden ejecutar al mismo tiempo en la misma base de datos . Los ojos pueden correr un prólogo , mientras que las piernas se ejecutan otro prólogo sin ninguna interferencia , ya que ni los cambios de la base de datos .