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.