Tutorial básico de programación en Prolog
Indice de contenidos
• Introducción
o Requisitos
o El entorno de desarrollo Prolog
o Compatibilidad ISO-Prolog
o Créditos
• Elementos del lenguaje
o Comentarios
o Variables lógicas
§ La variable anónima
o Términos
§...
More
Tutorial básico de programación en Prolog
Indice de contenidos
• Introducción
o Requisitos
o El entorno de desarrollo Prolog
o Compatibilidad ISO-Prolog
o Créditos
• Elementos del lenguaje
o Comentarios
o Variables lógicas
§ La variable anónima
o Términos
§ Operadores
o Culturilla
• Dando valor a las variables
o El mecanismo de unificación
o Ejemplos paradigmáticos
o Culturilla
• Ejecutando cosas
o Predicados y Objetivos
§ Ejemplos
o Secuencias de objetivos
§ Varias soluciones
o Backtracking
§ Ejemplo
o Predicados predefinidos (built-in)
• El código
o Cláusulas
§ Ejemplo simple
§ Ejemplo menos simple
o Cláusulas sin cuerpo
o Culturilla
• El shell de Prolog
o Ejecutando el shell
o Mi primer objetivo
o Compilando y cargando codigo
o Quiero irme de aquí
• Mi primer programa en Prolog
o Cargando el código
o Predicados reversibles
o Predicados no reversibles
o Modos de uso
o Culturilla
• Evaluación de expresiones aritméticas
o Expresiones válidas
• Resumen y ejercicios
o Ejercicios sobre té
Less