Nociones de PROLOG y Programación Lógica - By Luis Tejeira
PROLOG es un lenguaje de programación declarativo basado en la lógica. Su nombre proviene de "PROgramación en LOGica". Es utilizado principalmente en aplicaciones de inteligencia artificial, procesamiento del lenguaje natural y sistemas expertos. La programación en PROLOG se basa en hechos, reglas y consultas que describen relaciones lógicas en lugar de algoritmos secuenciales. En PROLOG, el desarrollador describe el problema mediante relaciones y deja que el motor de inferencia del lenguaje encuentre las soluciones. Esto lo hace ideal para tareas complejas donde el objetivo es describir “qué” se quiere lograr y no “cómo” hacerlo. Conceptos de Programación Lógica La programación lógica se basa en la idea de describir hechos y reglas que representan el conocimiento de un dominio particular. A partir de esos hechos y reglas, un sistema lógico puede deducir nuevas informaciones. Hechos, Reglas y Consultas Hechos: Son declaraciones que describen información. Por ejemplo, ...