Ingenier1a en Inform2tica

Apuntes

Ingeniería en Informática Tecnologías de la Programación Paradigma Lógico Esp. Ing. Viviana A. Santucci AIA Federico Castoldi Ing. J. Exequiel Benavidez Ing. Jimena Bourlot Ingeniería en Informática Tecnologías de la Programación 1 – ELEMENTOS DE UN PROGRAMA EN PROLOG 2 posibilidad de responder consultas. Un programa en Prolog está conformado por una serie de elementos: Base de Conocimiento : representado por un conjunto de afirmaciones (hechos y reglas) representando los conocimientos que poseemos en un determinado dominio de campo de nuestra competencia. Motor de Inferencia : es el que se encarga de la “ejecución del programa”. Que en esencia es un comprobador de teoremas, el cual utiliza la Regla Inferencia. Resolución (Intérprete de comandos) : cuyo objetivo es permitir la Ingeniería en Informática Tecnologías de la Programación 1 – ELEMENTOS DE UN PROGRAMA EN PROLOG 3 El hecho de programar en Prolog consiste en brindar a la computadora un universo Finito en forma de hechos y reglas, proporcionando los medios para realizar inferencias de un hecho a otro. A continuación si se hacen las preguntas adecuadas, Prolog buscará la respuesta en dicho universo y las presentará ...