La programación lógica se basa en fragmentos de la lógica de predicados, como las cláusulas de Horn, que puede emplearse como base para un lenguaje de programación al poseer una semántica operacional susceptible de una implementación eficiente, como la resolución SLD.

Algunos lenguajes de programación han sido diseñados para razonar haciendo uso de las reglas de la lógica de predicados. Prolog es un ejemplo de este importante tipo de lenguajes.[4]