›
Google+
ACCEDER
Sebastián Rojas
Se compartió públicamente. • 9:30 p. m.
Johan Sebastián Rojas Caballero
20151578003
¿Qué es prolog?
Prolog es un lenguaje para programar artefactos electrónicos mediante el paradigma lógico con técnicas de producción final interpretada. Es bastante conocido en el área de la Ingeniería Informática para investigación en Inteligencia Artificial. Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia). Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine. Desde entonces Prolog es un lenguaje semi-interpretado.
¿Para qué sirve?
El principal objetivo es la evolución de los lenguajes, como también el bajo ”costo y facilidad' de programación que este puede ofrecer, ya que como su nombre lo indica PROLOG(PROgramming in LOGic), es un programa que usa la lógica para resolver los problemas. Por otra parte, el lenguaje está orientado para trabajar en aplicaciones de inteligencia artificial.
¿Qué relación tiene con la lógica de predicados?
Este supone especificar formalmente los enunciados utilizando la lógica de predicados de manera que la máquina PROLOG sea capaz de interpretar e inferir soluciones a partir de esos enunciados. Para la construcción de programas en Prolog es necesario convertir los conceptos expresados en lenguaje natural basado en la lógica de primer orden, con el fin de obtener las cláusulas de Horn tras el proceso de conversión adecuado.
¿Cómo se representa una formula atómica en prolog?
Un hecho es una fórmula atómica o átomo: p (t1,..., tn) e indica que se verifica la relación (predicado) p sobre los objetos (términos) t1,..., tn.
¿Cómo se representa una regla?
Las reglas se utilizan en PROLOG para significar que un hecho depende de uno o más hechos. Son la representación de las implicaciones lógicas del tipo p -> q.Una regla consiste en una cabeza y un cuerpo, unidos por el signo ":-". La cabeza está formada por un único hecho .El cuerpo puede ser uno o más hechos (conjunción de hechos), separados por una coma (","), que actúa como el "y" lógico. Las reglas finalizan con un punto ("."). La cabeza en una regla PROLOG corresponde al consecuente de una implicación lógica, y el cuerpo al antecedente. Este hecho puede conducir a errores de representación.
