El modelo de programación lógica (MP) es un paradigma de programación declarativo que se basa en la lógica matemática para definir la estructura y el comportamiento de los programas. A diferencia de los paradigmas imperativos, que especifican paso a paso cómo debe ejecutarse un programa, el MP se centra en describir las relaciones y hechos que existen en el problema a resolver, dejando que el sistema de inferencia del lenguaje de programación logre la solución.