Prolog
Introducción Prolog es un lenguaje de programación lógica en el que los programas se construyen como bases de conocimiento : conjuntos de hechos y reglas que describen relaciones entre objetos. La representación de conocimiento en Prolog implica elegir cómo expresar hechos, reglas, relaciones, y también cómo razonar sobre ellos. Formas de representación en Prolog 1. Hechos (Extensional knowledge) Los hechos expresan que cierta relación entre objetos es verdadera, sin condiciones adicionales. padre(john, mary). mujer(mary). Aquí, padre/2 y mujer/1 son predicados que representan relaciones. Este modo es útil para representar datos concretos del mundo. 2. Reglas (Intensional knowledge) Las reglas permiten definir relaciones más complejas a partir de otras relaciones. Por ejemplo: madre(X,Y) :- mujer(X), padre(X,Y). Aquí definimos que X es madre de Y si X es mujer y X es padre de Y . Esta es una forma de conocimiento derivado, más general. Las reglas per...
