3.1.1 El paradigma de la programación lógica

 

En programación, los lenguajes declarativos se basan en la lógica de predicados, así como en las cláusulas de Horn, que pueden emplearse como base  para un lenguaje de programación.[4]

Un programa escrito en este tipo de lenguajes consiste únicamente en sentencias declaradas como hipótesis.