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.Fil: Corso, Cynthia Lorena. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Colacioppo, Nicolás Leonardo. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Guzmán, Analía. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Ligorria, Karina Paola. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Ligorria, Laura del Carmen. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información. Cátedra Paradigmas de Programación; Argentina.Peer Reviewed