ubiquitour.com

Tutorial de lenguaje Prolog

Tutorial de lenguaje Prolog

Prolog (programación lógica) es un lenguaje de programación que se desarrolló en Francia para el uso en la traducción del lenguaje natural. El lenguaje natural es lo que los programadores llaman idiomas como francés y alemán. Prolog fue perfeccionado por científicos de la computación en Escocia para su uso como un prover del teorema automático, que demuestra teoremas en lógica y matemáticas. El japonés eligió Prolog para utilizar en proyectos de Inteligencia Artificial (IA). Esta lengua internacional es increíblemente flexible.

Instrucciones

1 Prólogo de uso que se pretende utilizar. Lenguajes como Ruby y C++ decirle a la computadora qué hacer. Programación en Prolog consiste en crear una base de datos de hechos y de reglas que describe un universo de discurso. El usuario entonces envía una pregunta y Prolog responde a la pregunta basada en los hechos y reglas en la base de datos. Este procedimiento de preguntas y respuestas es bastante flexible. Por ejemplo, la pregunta puede ser un teorema matemático y la respuesta indica si es verdadero o falso, o la pregunta puede ser que una frase en japonés y la respuesta es la traducción al francés.

2 Aprender la estructura de las cláusulas del cuerno, es la llave a la representación de hechos y reglas en la base de datos de un prólogo 'programa'. Una representación de cláusula del cuerno de un hecho es simplemente una declaración de hecho seguido por un período. La representación de la cláusula de Horn de una regla es una conclusión, seguida por el ":-" símbolo, seguido por una serie de condiciones, seguido por un período.

El hecho de que el cielo es azul se podría escribir en prólogo como "Blue(sky)." La regla de que el cielo es azul si es de día y no llueve "Blue(sky):-Time(day), lloviendo (no)."

El prólogo de "programa" consiste en una base de datos de hechos y reglas. Si haces el procesamiento del lenguaje, estos serán las definiciones de palabras y reglas gramaticales. Si usted está construyendo un sistema lógico o matemático, el "programa" serán los axiomas del sistema.

3 Trabajo a través de varios ejemplos de Prolog. Hacer como que eres el equipo y que hay una simple de datos basan, luego una pregunta y pasan por los pasos que Prolog a través de responder a la pregunta. No hay ninguna ruta más rápida para entender Prolog y aprender a ser un buen programador de Prolog, según Clocksin y Mellish, quién literalmente escribió el libro sobre programación de Prolog.

Consejos y advertencias

  • La unificación es la manera en que Prolog encuentra la respuesta a algunas preguntas. Si hay una X en su pregunta, cuando vuelve la respuesta incluirá un valor para X, que es lo que realmente quieres.
  • El orden en las reglas es importante. Prolog trabaja a través de un conjunto de reglas en orden. Si una regla en el conjunto falla, Prolog va a la siguiente regla. A veces problemas en Prolog pueden resolverse reordenando un conjunto de reglas. Siempre tener en cuenta esto antes de empezar a reescribir las reglas para resolver un problema.