El documento habla sobre programación lógica y el lenguaje Prolog. Explica que Prolog es un lenguaje de programación lógica e interpretado usado en investigaciones de inteligencia artificial. También describe elementos básicos del lenguaje como variables lógicas, términos, unificación, predicados, cláusulas y el uso del shell de Prolog.