El conocimiento de la lógica es muy conveniente para la comprensión de los lenguajes de programación declarativos. En esta unidad se abordarán los principales fundamentos de la programación lógica.[4]