1
Paradigma de programación en el que el programador especifica \"que\" debe computarse mas bien que \"como\" deban realizarse los cómputos.
2
Método usado por los lenguajes de programación lógicos, para deducir o computar resultados
3
En la programación lógica es un conjunto de cláusulas que definen relaciones, (= lógica + control)
4
Lenguaje típico del paradigma de programación declarativa y de la programación lógica
5
Tipo de programación que se basa en fragmentos de la lógica de predicados, siendo el mas popular la lógica de cláusulas de Horn.