Este documento introduce Prolog como un lenguaje de programación lógica relacional y seminterpretado. Explica que Prolog se compone de un compilador, intérprete, shell y bibliotecas. Describe elementos del lenguaje como variables lógicas, términos, operadores y comentarios. También menciona algunas aplicaciones prácticas de Prolog como generación de páginas web y sistemas expertos.