Las tres declaraciones básicas del lenguaje prólogo son
Las tres declaraciones básicas del lenguaje de prólogo son hechos;
El lenguaje PROLOG (lenguaje de programación lógica) generalmente se refiere al lenguaje de programación lógica. Prolog (Programación en lógica) es un lenguaje de programación lógica orientado al razonamiento deductivo. Fue propuesto por primera vez en 1972 por Colmeraner y su equipo de investigación en la Universidad de Marsella en Francia.
Prolog se basa en el cálculo de predicados de primer orden. Debido a su gramática simple, rico poder expresivo y características únicas de lenguaje no procedimental, Prolog es muy adecuado para expresar reglas de razonamiento y pensamiento humano. Ha ganado un amplio interés por parte de los desarrolladores de aplicaciones y de investigación de inteligencia artificial desde su lanzamiento.
Especialmente en Europa occidental y Japón, el lenguaje Prolog se ha utilizado ampliamente en muchos campos de aplicación, como bases de datos relacionales, lógica matemática, resolución de problemas abstractos, comprensión del lenguaje natural y sistemas expertos, etc. Japón también incluyó a Prolog como lenguaje central en su plan de investigación informática de quinta generación propuesto en 1979.
Prolog es en realidad una tecnología de razonamiento deductivo basada en reglas inversas, pero tiene restricciones estrictas en la expresión de reglas y objetivos. Junto con la simplicidad del propio mecanismo de control del razonamiento deductivo, es difícil de aplicar en dominios de aplicación complejos.
Características
La estructura gramatical del lenguaje Prolog es bastante simple, pero su capacidad descriptiva es muy fuerte. Por ejemplo, cuando los hechos y las reglas describen axiomas de una determinada disciplina. Entonces el problema es una proposición a demostrar; cuando los hechos y las reglas describen ciertos datos y relaciones, entonces el problema es una declaración de consulta de datos; cuando los hechos y las reglas describen ciertos patrones de cambio de estado, entonces el problema es el estado objetivo;
Por tanto, el lenguaje Prolog es un lenguaje de programación inteligente. No existe un orden de ejecución específico para los programas Prolog. El orden de ejecución del programa se basa completamente en la derivación de lógica matemática. En lugar de ser decidido por el programador. Prolog es un lenguaje descriptivo que utiliza un método específico para describir un problema y luego la computadora encuentra automáticamente la respuesta al problema.