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 .