El presente material, sirve como guía de referencia de los contenidos abordados en la Unidad N° 5 de la Cátedra Paradigmas de Programación de la FRC de la UTN “Paradigma Lógico”, cuyo objetivo principal es permitir comprender acabadamente los principios constitutivos y filosóficos que dan origen a este paradigma, y se lo utilice el concepto de relaciones de predicados y cláusulas de primer orden para la construcción de programas en la resolución de problemas.