Este documento proporciona una introducción a la programación lógica en Prolog. Explica conceptos básicos como hechos, reglas y consultas, y sintaxis básica. También cubre temas como aritmética, átomos, recursividad, listas, negación y la conexión de Prolog con MySQL.