Crossword Puzzle Programación lógicaOnline version Lee el capítulo 1 del libro: Programación lógica teoría y práctica (Bibliografía) y resuelva el siguiente crucigrama. by José luis Ceja Anaya 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. 2 4 5 3 1