Fundamentos de Prolog
Departamento de Ciencias de la Computación y de la Decisión
Fernán Alonso Villa Garzón
Profesor Asociado
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Orientación Universidad
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Busca documentos
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Busca documentos en el Store
Los mejores documentos en venta realizados por estudiantes que han terminado sus estudios
Video Cursos
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Quiz
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pregúntale a la comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Ranking de las universidades
Descubre las mejores universidades de tu país según los usuarios de Docsity
Ebooks gratuitos
¡Nuestros e-books salva-estudiantes!
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
Diapositivas de fundamentos basicos de Prolog, Diapositivas de Programación Funcional
se brindan conceptos basicos y ejemplos de la programacion en prolog
Tipo: Diapositivas
2019/2020
1 / 9
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
Documentos relacionados
Vista previa parcial del texto
¡Descarga Diapositivas de fundamentos basicos de Prolog y más Diapositivas en PDF de Programación Funcional solo en Docsity!
Fundamentos de Prolog
Departamento de Ciencias de la Computación y de la Decisión Fernán Alonso Villa Garzón Profesor Asociado
Hasta ahora se han representado hechos y
se han consultado, ahora definiremos las
reglas…
Las reglas nos permiten hacer declaraciones condicionales sobre nuestra realidad. Cada regla puede tener varias variaciones, llamadas cláusulas. Estas cláusulas nos dan diferentes opciones sobre cómo inferir aspectos sobre nuestro mundo. Consideremos la siguientes reglas: “todos los dioses son inmortales” y “todos los humanos son mortales” En prolog será así:
- inmortal(X):-dios(X).
- mortal(X):-humano(X). La variable X tiene su contexto o ámbito en su correspondiente cláusula o regla.
Ahora definamos algunos hechos y consultas…
Consultas con variables
Formas alternativas
para formar reglas
Recuerde la variable E es independiente en cada uno de sus contextos o cláusulas.
Los hechos