Este documento presenta una introducción a Prolog. Explica que Prolog es un lenguaje de programación lógica desarrollado bajo ideas matemáticas. Se fundamenta en hechos y reglas, y la instanciación de variables sigue reglas específicas. Prolog tiene características como modularidad y polimorfismo. También se puede interpretar de forma procedimental y declarativa. Finalmente, el documento explica que Prolog es útil para sistemas expertos, aplicaciones educativas y enseñanza de programación lógica.